- In general, the universal constructions in category theory
- include
- representable functor
- adjoint functor
- limit/colimit
- end/coend
- Kan extension
- dependent sum/dependent product
- Each of these may be defined by requiring it to satisfy a universal property.
- include
…