Background
Basic concepts
equivalences in/of $(\infty,1)$-categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
A symmetric 2-group is a 2-group equipped with the following equivalent structure:
Regarded as a monoidal category, $G$ is a symmetric monoidal category.
Regarded as a 1-truncated ∞-group it has the structure of an abelian ∞-group.
The delooping 2-groupoid $\mathbf{B}G$ is a braided 3-group.
The double delooping 3-groupoid $\mathbf{B}^2 G$ is a 4-group.
The triple delooping 4-groupoid $\mathbf{B}^4 G$ exists.
The A-∞ algebra/E1-algebra structure on $G$ refines to an E3-algebra structure.
$G$ is a 3-tuply monoidal groupoid.
$G$ is a groupal 3-tuply monoidal (1,0)-category.
symmetric 2-group
Under the name “symmetric cat-groups” and thought of as a sub-class of braided monoidal categories, the notion of braided 2-groups is considered in:
Last revised on May 16, 2022 at 07:27:55. See the history of this page for a list of all contributions to it.