×

Higher dimensional algebra. I: Braided monoidal 2-categories. (English) Zbl 0855.18008

In higher-dimensional algebra, it is clear how to define \(n\)-categories (in the strict sense), but it is not clear how to define weak \(n\)-categories (which may well be more important). As a consequence, it is not clear how to define semistrict monoidal 2-categories or braided monoidal 2-categories. M. M. Kapranov and V. A. Voevodsky [J. Pure Appl. Algebra 92, No. 3, 241–267 (1994; Zbl 0791.18010)] have given very long definitions; the authors of this paper give definitions which are not quite equivalent but are shorter and more conceptual. Using their definitions, they show how to construct semistrict braided monoidal 2-categories as the centres of semistrict monoidal categories, and they give a strictification theorem for braided monoidal 2-categories. They also discuss applications to 4-dimensional topological quantum field theories and 2-tangles.

MSC:

18D10 Monoidal, symmetric monoidal and braided categories (MSC2010)
81T45 Topological field theories in quantum mechanics
18D05 Double categories, \(2\)-categories, bicategories and generalizations (MSC2010)

Citations:

Zbl 0791.18010