Free Strict Monoidal Category
For every category C, the free strict monoidal category Σ(C) can be constructed as follows:
- its objects are lists (finite sequences) A1, ..., An of objects of C;
- there are arrows between two objects A1, ..., Am and B1, ..., Bn only if m = n, and then the arrows are lists (finite sequences) of arrows f1: A1 → B1, ..., fn: An → Bn of C;
- the tensor product of two objects A1, ..., An and B1, ..., Bm is the concatenation A1, ..., An, B1, ..., Bm of the two lists, and, similarly, the tensor product of two morphisms is given by the concatenation of lists.
This operation Σ mapping category C to Σ(C) can be extended to a strict 2-monad on Cat.
Read more about this topic: Monoidal Category
Famous quotes containing the words free, strict and/or category:
“It is not enough to demand insight and informative images of reality from the theater. Our theater must stimulate a desire for understanding, a delight in changing reality. Our audience must experience not only the ways to free Prometheus, but be schooled in the very desire to free him. Theater must teach all the pleasures and joys of discovery, all the feelings of triumph associated with liberation.”
—Bertolt Brecht (1898–1956)
“The General Order is always to manoeuver in a body and on the attack; to maintain strict but not pettifogging discipline; to keep the troops constantly at the ready; to employ the utmost vigilance on sentry go; to use the bayonet on every possible occasion; and to follow up the enemy remorselessly until he is utterly destroyed.”
—Lazare Carnot (1753–1823)
“I see no reason for calling my work poetry except that there is no other category in which to put it.”
—Marianne Moore (1887–1972)