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

Yoneda's lemma asserts that every natural transformation between Hom functors is of this form. In other words, the Hom functors give rise to a full...

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

contravariant functor is right exact if and only if it turns finite limits into colimits. A functor is exact if and only if it is both left exact a...

Universal cones Limits and colimits are defined as universal cones . That is, cones through which all other cones factor. A cone ? from L to F is a...

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

Commutative ring : a ring with commutative multiplication. Boolean ring : a commutative ring with idempotent multiplication, isomorphic to Boolean ...