Talk:Symmetric monoidal category

Nerve is loop space???
The article currently states:
 * The nerve of a symmetric monoidal category is an infinite loop space.

Where did you hear this? I am really really tired right now, and I cannot make sense of this, at the moment. User:Linas (talk) 05:29, 19 November 2013 (UTC)
 * Oh, I see. the classifying space is the place to start, then. Thanks.  Oh, wait, subobject classifier ??  I'm tired. User:Linas (talk) 05:57, 19 November 2013 (UTC)

Naming
It seems like everywhere else the names of the isomorphisms l r a and s are Greek letters $$\lambda$$, $$\rho$$, $$\alpha$$, and $$\gamma$$. See for instance articles about monoidal category, and *-autonomous category. I would change the names, but I don't know how to modify the diagrams.

Bartosz (talk) 13:03, 15 May 2017 (UTC)