equivalences in/of -categories
A symmetric 2-group is a 2-group equipped with the following equivalent structure:
Regarded as a monoidal category, is a symmetric monoidal category.
Regarded as a 1-truncated ∞-group it has the structure of an abelian ∞-group.
The delooping 2-groupoid is a braided 3-group.
The double delooping 3-groupoid is a 4-group.
The triple delooping 4-groupoid exists.
The A-∞ algebra/E1-algebra structure on refines to an E3-algebra structure.
is a groupal 3-tuply monoidal (1,0)-category.
Last revised on December 13, 2012 at 04:23:26. See the history of this page for a list of all contributions to it.