nLab
sylleptic 3-group

Context

Group Theory

(,1)(\infty,1)-Category theory

Contents

Definition

Definition

A sylleptic 3-group is a 3-group equipped with the following equivalent structure:

  1. Regarded as a monoidal 2-category, GG is a sylleptic monoidal 2-category.

  2. The A-∞ algebra/E1-algebra structure on GG refines to an E3-algebra structure.

  3. GG is a 3-tuply monoidal 2-groupoid.

  4. GG is a groupal 3-tuply monoidal (2,0)-category.

Examples

Revised on March 4, 2016 19:14:52 by John Baez (99.11.156.244)