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

Diagonal functor : The diagonal functor is defined as the functor from D to the functor category D C which sends each object in D to the constant f...

Indeed, the term "zero object" originated in the study of preadditive categories like Ab , where the zero object is the zero group . A preadditive ...

C . (Recall that a category C is preadditive if all its morphism sets are Abelian groups and morphism composition is bilinear , i.e. if C is enrich...

As mentioned above, the category of all abelian groups is an abelian category. The category of all finitely generated abelian groups is also an abe...

If there is a monoidal functor from a monoidal category M to a monoidal category N , then any category enriched over M can be reinterpreted as a ca...

P. Freyd [1] ) if it contains all the objects of C . A lluf subcategory is typically not full: the only full lluf subcategory of a category is that...

Zero morphism - Wikipedia, the free encyclopedia Zero morphism From Wikipedia, the free encyclopedia Jump to: navigation , search In category theor...

Category of preordered sets - Wikipedia, the free encyclopedia Category of preordered sets From Wikipedia, the free encyclopedia Jump to: navigatio...

In practice, for a valid statement about a particular category , the dual statement is valid in the dual category ( ). [ edit ] Duality The example...

A bimorphism is a morphism that is both an epimorphism and a monomorphism. Isomorphism : f  : X ? Y is called an isomorphism if there exists a morp...