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:
“A bureaucracy is sure to think that its duty is to augment official power, official business, or official members, rather than to leave free the energies of mankind; it overdoes the quantity of government, as well as impairs its quality. The truth is, that a skilled bureaucracy ... is, though it boasts of an appearance of science, quite inconsistent with the true principles of the art of business.”
—Walter Bagehot (1826–1877)
“In strict science, all persons underlie the same condition of an infinite remoteness. Shall we fear to cool our love by mining for the metaphysical foundation of this elysian temple? Shall I not be as real as the things I see? If I am, I shall not fear to know them for what they are.”
—Ralph Waldo Emerson (1803–1882)
“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)