nLab
symmetric monoidal 2-category

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Higher algebra

Contents

Definition

A symmetric monoidal 2-category is a monoidal 2-category whose E1-algebra structure is refined to an E3-algebra structure.

A symmetric monoidal (infinity,n)-category for n=2n = 2.

Examples

  • A symmetric monoidal 2-category all whose objects are invertible under the tensor product is a symmetric 3-group.

References

Revised on January 17, 2013 02:20:07 by Urs Schreiber (203.116.137.162)