Higher-Dimensional Algebra I: Braided Monoidal 2-Categories

Abstract

We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2-categories and their applications to 4d topological quantum field theories and 2-tangles (surfaces embedded in 4-dimensional space). Then we give concise definitions of semistrict monoidal 2-categories and braided monoidal 2-categories, and show how these may be unpacked to give long explicit definitions similar to, but not quite the same as, those given by Kapranov and Voevodsky. Finally, we describe how to construct a semistrict braided monoidal 2-category Z(C) as the `center' of a semistrict monoidal category C. This is analogous to the construction of a braided monoidal category as the center, or `quantum double', of a monoidal category. As a corollary, our construction yields a strictification theorem for braided monoidal 2-categories.

39 pages, re-typeset by Jason Erbele and Joe Moeller

References in corpus (2)

• Chern-Simons Theory with Finite Gauge Group
• Higher Algebraic Structures and Quantization

Cited by in corpus (8)

• Infinite loop spaces, and coherence for symmetric monoidal bicategories
• Boundary-bulk relation for topological orders as the functor mapping higher categories to their centers
• A Prehistory of n-Categorical Physics
• Generalized Charges, Part II: Non-Invertible Symmetries and the Symmetry TFT
• Length 3 Complexes of Abelian Sheaves and Picard 2-Stacks
• The Hecke Bicategory
• Enriched monoidal categories I: centers
• Supersymmetric monoidal categories