aboutsummaryrefslogtreecommitdiff
path: root/Functor/Exact.agda
AgeCommit message (Collapse)Author
2025-02-03Add category of finitely-cocomplete categoriesJacques Comeaux
- Objects are categories with all finite colimits - Morphisms are functors preserving finite colimits (i.e. right exact)