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:
“For myself I found that the occupation of a day-laborer was the most independent of any, especially as it required only thirty or forty days in a year to support one. The laborer’s day ends with the going down of the sun, and he is then free to devote himself to his chosen pursuit, independent of his labor; but his employer, who speculates from month to month, has no respite from one end of the year to the other.”
—Henry David Thoreau (1817–1862)
“My father and I were always on the most distant terms when I was a boy—a sort of armed neutrality, so to speak. At irregular intervals this neutrality was broken, and suffering ensued; but I will be candid enough to say that the breaking and the suffering were always divided up with strict impartiality between us—which is to say, my father did the breaking, and I did the suffering.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)
“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)