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)