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:
“... living in England does not free the American the way living in France frees him because the french [sic] and the American do not have the sense of going on together, from the beginning they know that there is no going on together no past present and future ...”
—Gertrude Stein (1874–1946)
“I have always endeavored to acquire strict business habits; they are indispensable to every man. If your trade is with the Celestial Empire, then some small counting house on the coast, in some Salem harbor, will be fixture enough.”
—Henry David Thoreau (1817–1862)
“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)