nLab sylleptic monoidal 2-category

Idea

A sylleptic monoidal (weak) 2-category is a monoidal 2-category with a categorified sort of “commutativity” that lies in between a braiding and a symmetry.

That is, it is a 2-category $C$ equipped with a tensor product $\otimes : C \times C \to C$ 2-functor which satisfies the first two in a hierarchy of conditions for being commutative up to equivalence. In the language of k-tuply monoidal n-categories, a sylleptic monoidal 2-category is a triply monoidal 2-category. As described there, this may be identified with a pointed 5-category with a single $k$-morphism for $k=0,1,2$. We can also say that it is a monoidal 2-category whose E1-algebra structure is refined to an E3-algebra structure.

Related concepts

• monoidal 2-category, 3-group

• braided monoidal 2-category, braided 3-group

• sylleptic monoidal 2-category, sylleptic 3-group

• symmetric monoidal 2-category, symmetric 3-group

• k-tuply monoidal (n,r)-category

References

• Brian Day, Ross Street, Section 5 of: Monoidal Bicategories and Hopf Algebroids, Advances in Mathematics Volume 129, Issue 1, 15 July 1997, Pages 99-157 (doi:10.1006/aima.1997.1649)

• Sjoerd E. Crans, Section 4 of: Generalized Centers of Braided and Sylleptic Monoidal 2-Categories, Advances in Mathematics, Volume 136, Issue 2, 25 June 1998, Pages 183-223 (doi:10.1006/aima.1998.1720)