Formal Definition
A monoidal category is a category equipped with
- a bifunctor called the tensor product or monoidal product,
- an object called the unit object or identity object,
- three natural isomorphisms subject to certain coherence conditions expressing the fact that the tensor operation
- is associative: there is a natural isomorphism, called associator, with components ,
- has as left and right identity: there are two natural isomorphisms and, respectively called left and right unitor, with components and .
The coherence conditions for these natural transformations are:
- for all, and in, the pentagon diagram
commutes;
- for all and in, the triangle diagram
commutes;
It follows from these three conditions that any such diagram (i.e. a diagram whose morphisms are built using, identities and tensor product) commutes: this is Mac Lane's "coherence theorem".
A strict monoidal category is one for which the natural isomorphisms α, λ and ρ are identities. Every monoidal category is monoidally equivalent to a strict monoidal category.
Read more about this topic: Monoidal Categories
Famous quotes containing the words formal and/or definition:
“True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....”
—Marcel Proust (1871–1922)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)