nLab abelian 3-group

Definition

An abelian 3-group is an abelian infinity-group which is a 3-group.

Examples

If $(\mathcal{C}, \otimes)$ is a symmetric monoidal 2-category then its Picard 3-group is an abelian 3-group.

Related concepts

• ∞-group, k-tuply groupal n-groupoid

• braided ∞-group,

  • braided 2-group

  • braided 3-group

• sylleptic ∞-group

  • sylleptic 3-group

• abelian ∞-group

  • abelian group

  • abelian 2-group

  • abelian 3-group