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

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

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

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

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