Talk:Symmetric monoidal category

Nerve is loop space???[edit]

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)[reply]

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)[reply]

Naming[edit]

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)[reply]