Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added publication data for this item:
added pointer to:
Naman, I don’t see what is gained by your edit (here):
All of the properties listed there follow from the previous discussion, the point is, as it says, to make it “very explicit”.
The lines you removed serve that purpose. At the very least, absolutely no harm is done by keeping them.
I think they should be reinstantiated.
added pointer to:
Added to the existing section on representable multicategories that maps between underlying representable multicategories correspond to lax monoidal functors.
Added that the category of monoidal categories and monoidal functors is equivalent to the category representable colored PROs.
Aaron David Fairbanks