Functors Main article: functor Functors are structure-preserving maps between categories. They can be thought of as morp...
Problems formulated with adjoint functors 1.3 Adjoint functors as solving optimization problems 1.4 The case of partial ...
Universal cones Limits and colimits are defined as universal cones . That is, cones through which all other cones factor...
C . (Recall that a category C is preadditive if all its morphism sets are Abelian groups and morphism composition is bil...
Left derived functors are zero on all projective objects. One may also start with a contravariant left-exact functor F ;...
As mentioned above, the category of all abelian groups is an abelian category. The category of all finitely generated ab...
Categorical logic originated with Bill Lawvere 's Functorial Semantics of Algebraic Theories (1963), and Elementary Theo...
