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

Preservation of limits Representable functors are naturally isomorphic to Hom functors and therefore share their properties. In particular, (covari...

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

It follows that any functor which preserves limits will take terminal objects to terminal objects, and any functor which preserves colimits will ta...

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

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

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

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

Final topology - Wikipedia, the free encyclopedia Final topology From Wikipedia, the free encyclopedia Jump to: navigation , search In general topo...

In abstract algebra , a free algebra is the noncommutative analogue of a polynomial ring (which may be regarded as a free commutative algebra ). Le...

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

Complete lattices must not be confused with complete partial orders ( cpo s), which constitute a strictly more general class of partially ordered s...