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...

Subcategory Faithful functor Full functor Forgetful functor Yoneda lemma Representable functor Functor category Adjoint functors Galois connection ...

Functors Main article: functor Functors are structure-preserving maps between categories. They can be thought of as morphisms in the category of al...

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...

Ab is a reflective subcategory of the category of groups , Grp . The reflector is the functor which sends each group to its abelianization . Simila...

Subobject classifier - Wikipedia, the free encyclopedia Subobject classifier From Wikipedia, the free encyclopedia Jump to: navigation , search In ...

Topos (literally "a place"; pl. topoi ) referred in the context of classical Greek rhetoric to a standardised method of constructing or treating an...

Categorical logic originated with Bill Lawvere 's Functorial Semantics of Algebraic Theories (1963), and Elementary Theory of the Category of Sets ...