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:
“You have waited, you always wait, you dumb, beautiful ministers,
We receive you with free sense at last, and are insatiate
hence-forward,
Not you any more shall be able to foil us, or withhold yourselves
from us,
We use you, and do not cast you aside—we plant you permanently within us,
We fathom you not—we love you—there is perfection in you also,
You furnish your parts, toward eternity,
Great or small, you furnish your parts toward the soul.”
—Walt Whitman (1819–1892)
“Compassion is frequently a sense of our own misfortunes, in those of other men; it is an ingenious foresight of the disasters that may fall upon us hereafter. We relieve others, that they may return the like when our occasions call for it; and the good offices we do them are, in strict speaking, so many kindnesses done to ourselves beforehand.”
—François, Duc De La Rochefoucauld (1613–1680)
“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)