# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. example of nominal sets with separated tensor added, see Chapter 3.4 of Pitts monograph Nominal Sets

Alexander Kurz

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeOct 23rd 2019

Added a remark about definability in terms of projections, from cafe discussion.

• CommentRowNumber4.
• CommentAuthorMike Shulman
• CommentTimeDec 16th 2019

Added missing adjective “symmetric” to the second characterization of cartesian monoidal categories (thanks to dremodaris on MO).

• CommentRowNumber5.
• CommentAuthorDmitri Pavlov
• CommentTimeFeb 18th 2021

• CommentRowNumber6.
• CommentAuthorDmitri Pavlov
• CommentTimeMar 5th 2021

• CommentRowNumber7.
• CommentAuthorDavidRoberts
• CommentTimeMay 24th 2021

Linked some uses of monoidal natural transformation.

• CommentRowNumber8.
• CommentAuthorDavidRoberts
• CommentTimeMay 24th 2021

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?

• CommentRowNumber9.
• CommentAuthorDavidRoberts
• CommentTimeMay 24th 2021

Gave specific page reference to point in John’s slides Universal algebra and diagrammatic reasoning

• CommentRowNumber10.
• CommentAuthorDavidRoberts
• CommentTimeMay 26th 2021

Added missing hypothesis of symmetry in one place of the discussion relating semicartesian to cartesian.