REVIEW 1 cited by
Note on commutativity in double semigroups and two-fold monoidal categories
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original 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.
Forward citations
Cited by 1 Pith paper
-
A higher-order Eckmann-Hilton argument
Algebraic higher-order Eckmann-Hilton argument deriving braidings from two monoidal structures and symmetries from three, applied to show hom-categories of n-degenerate semi-strict (n+1)-categories are symmetric monoidal.
Discussion (0). Continue with ORCID to comment.