# 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.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeSep 11th 2010
• (edited Sep 11th 2010)

added an Idea-section to coherence theorem for monoidal categories just with the evident link-backs and only such as to provide a minimum of an opening of the entry

• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTimeOct 7th 2012

I wrote a bit more at coherence theorem for monoidal categories, mentioning some of the different things that it refers to, and put similar stubs at coherence theorem for symmetric monoidal categories and coherence theorem for braided monoidal categories.

• CommentRowNumber3.
• CommentAuthorDmitri Pavlov
• CommentTimeJul 25th 2018

Item 6 reads: The forgetful 2-functor StrMonCat→MonCat has a strict left adjoint and the components of the unit are equivalences in MonCat.

What exactly is StrMonCat here? Are its morphisms strict, strong, or lax monoidal functors?

• CommentRowNumber4.
• CommentAuthorMike Shulman
• CommentTimeJul 26th 2018

strict.

Samuel Mimram

2. Uncapitalize

Samuel Mimram

• CommentRowNumber7.
• CommentAuthorncfavier
• CommentTimeFeb 2nd 2023