nLab braided 2-group

group theory

Cohomology and Extensions

$(\infty,1)$-Category theory

(∞,1)-category theory

Contents

Definition

Definition

A 2-group $G$ is braided if it is equipped with the following equivalent structure:

1. Regarded as a monoidal category, $G$ is a braided monoidal category.

2. The delooping 2-groupoid $\mathbf{B}G$ is a 3-group.

3. The double delooping 3-groupoid $\mathbf{B}^2 G$ exists.

4. The groupal A-∞ algebra/E1-algebra structure on $G$ refines to an E2-algebra structure.

5. $G$ is a doubly groupal groupoid.

6. $G$ is a groupal doubly monoidal (1,0)-category.

References

A discussion of ∞-group extensions by braided 2-groups is in

Revised on October 26, 2012 04:14:36 by Urs Schreiber (82.169.65.155)