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

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 if coproducts exists in a given category (they need not) they are unique up to a unique isomorphism that respects the injections. I...

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

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

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