Note on commutativity in double semigroups and two-fold monoidal categories
From MaRDI portal
(Redirected from Publication:847557)
Abstract: A concrete computation -- twelve slidings with sixteen tiles -- reveals that certain commutativity phenomena occur in every double semigroup. This can be seen as a sort of Eckmann-Hilton argument, but it does not use units. The result implies in particular that all cancellative double semigroups and all inverse double semigroups are commutative. Stepping up one dimension, the result is used to prove that all strictly associative two-fold monoidal categories (with weak units) are degenerate symmetric. In particular, strictly associative one-object, one-arrow 3-groupoids (with weak units) cannot realise all simply-connected homotopy 3-types.
Recommendations
Cited in
(9)- Model structures on the category of small double categories
- Commutativity in double interchange semigroups
- Fiat categorification of the symmetric inverse semigroup \(IS_n\) and the semigroup \(F^*_n\)
- A shuffle algebra point of view on operator-valued probability theory
- Permutation of elements in double semigroups
- Boardman-Vogt tensor products of absolutely free operads
- Enumeration and asymptotic formulas for rectangular partitions of the hypercube
- The periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories
- The exterior graded Swiss-Cheese Operad ΛVS2
This page was built for publication: Note on commutativity in double semigroups and two-fold monoidal categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q847557)
