Limits and universal morphisms Colimits in comma categories may be "inherited". If and are cocomplete, is a cocontinuous functor, and another funct...

C ) can be made precise in several ways; the most succinct formulation uses the language of adjoint functors . Every functor F  : D ? E induces a f...

Ab is injective if and only if it is divisible ; it is projective if and only if it is a free abelian group. The category has a projective generato...