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

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

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

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

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

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

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

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

Category of vector spaces - Wikipedia, the free encyclopedia Category of vector spaces From Wikipedia, the free encyclopedia Jump to: navigation , ...

Rng : a ring lacking a multiplicative identity. Commutative ring : a ring with commutative multiplication. Boolean ring : a commutative ring with i...