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

Problems formulated with adjoint functors 1.3 Adjoint functors as solving optimization problems 1.4 The case of partial orders 2 Formal definitions...

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

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

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

Beck's monadicity theorem gives a characterization of monadic functors. [ edit ] Uses Monads are used in functional programming to express types of...

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

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

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

Auto magma object - Wikipedia, the free encyclopedia Auto magma object From Wikipedia, the free encyclopedia   (Redirected from Magma object ) Jump...

Set (with the monoidal structure induced by the cartesian product) is a monoid in the usual sense. A monoid object in Top (with the monoidal struct...

In linear algebra , the identity matrix of size n is the n-by-n square matrix with ones on the main diagonal and zeros elsewhere. This matrix serve...