dorsal/arxiv
View SchemaHigher-Dimensional Algebra I: Braided Monoidal 2-Categories
| Authors | John C. Baez, Martin Neuchl |
|---|---|
| Categories | |
| ArXiv ID | q-alg/9511013 |
| URL | https://arxiv.org/abs/q-alg/9511013 |
| Journal | Adv. Math. 121 (1996), 196-244 |
| License | http://arxiv.org/licenses/nonexclusive-distrib/1.0/ |
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.
{
"annotation_id": "b805b53d-6fda-4590-90fd-56ca63b1407e",
"date_created": "2026-03-02T18:01:28.424000Z",
"date_modified": "2026-03-02T18:01:28.424000Z",
"file_hash": "230b2a6988486902fe86dc807a26eada2f8584aa3a0c30b37de36708d458b660",
"private": false,
"record": {
"abstract": "We begin with a brief sketch of what is known and conjectured concerning\nbraided monoidal 2-categories and their applications to 4d topological quantum\nfield theories and 2-tangles (surfaces embedded in 4-dimensional space). Then\nwe give concise definitions of semistrict monoidal 2-categories and braided\nmonoidal 2-categories, and show how these may be unpacked to give long explicit\ndefinitions similar to, but not quite the same as, those given by Kapranov and\nVoevodsky. Finally, we describe how to construct a semistrict braided monoidal\n2-category Z(C) as the `center\u0027 of a semistrict monoidal category C. This is\nanalogous to the construction of a braided monoidal category as the center, or\n`quantum double\u0027, of a monoidal category. As a corollary, our construction\nyields a strictification theorem for braided monoidal 2-categories.",
"arxiv_id": "q-alg/9511013",
"authors": [
"John C. Baez",
"Martin Neuchl"
],
"categories": [
"q-alg",
"math.QA"
],
"journal_ref": "Adv. Math. 121 (1996), 196-244",
"license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
"title": "Higher-Dimensional Algebra I: Braided Monoidal 2-Categories",
"url": "https://arxiv.org/abs/q-alg/9511013"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "afbe8dbc-c37d-4420-a5cc-5ed4e6bd49b4",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}