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 link to nominal set.
Added missing adjective “symmetric” to the second characterization of cartesian monoidal categories (thanks to dremodaris on MO).
Added an example:
Linked some uses of monoidal natural transformation.
Added link to the MO question mentioned by Mike is #4.
I want to check if anyone knows a reference for this claim about Robin Houston:
The characterization of cartesian monoidal categories in terms of $e$ and $\Delta$, apparently discovered by Robin Houston, is mentioned here:
- John Baez, Universal algebra and diagrammatic reasoning, 2006. pdf
and as of 2014, Nick Gurski plans to write up the proof in a paper on semicartesian monads.
In the slides at the link I see no mention of Robin Houston at all. Do we have a source for this? Also, the “as of 2014” remark is wildly out-of-date. Any more on this, or should it be deleted?
re #8:
The lines in question were added by John Baez in revision 12. I gather John is not actually reading the nForum. You may need to email him.
1 to 14 of 14