Dagger $n$-categories
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , , , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909935207448576 |
|---|---|
| author | Ferrer, Giovanni Hungar, Brett Johnson-Freyd, Theo Krulewski, Cameron Müller, Lukas Nivedita Penneys, David Reutter, David Scheimbauer, Claudia Stehouwer, Luuk Vuppulury, Chetan |
| author_facet | Ferrer, Giovanni Hungar, Brett Johnson-Freyd, Theo Krulewski, Cameron Müller, Lukas Nivedita Penneys, David Reutter, David Scheimbauer, Claudia Stehouwer, Luuk Vuppulury, Chetan |
| contents | Category theory provides a unified language for organizing composable operations in many disciplines. In disciplines where unitarity is fundamental -- such as functional analysis, quantum field theory, and quantum logic -- this language must also capture adjoints, leading to the notion of dagger categories. Higher category theory, which extends this framework to encode operations between operations, has recently become indispensable in both theoretical physics and pure mathematics. Finding a higher categorical analogue of a dagger category is therefore key to the foundations of quantum field theory.
In this work, we present a coherent definition of \emph{dagger $(\infty,n)$-category} in terms of equivariance data trivialized on parts of the category. Our main example is the bordism $(\infty,n)$-category $\mathbf{Bord}_{n}^X$. This allows us to define (fully-local) \emph{reflection-positive topological quantum field theories} to be higher dagger functors out of $\mathbf{Bord}_{n}^X$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_01651 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Dagger $n$-categories Ferrer, Giovanni Hungar, Brett Johnson-Freyd, Theo Krulewski, Cameron Müller, Lukas Nivedita Penneys, David Reutter, David Scheimbauer, Claudia Stehouwer, Luuk Vuppulury, Chetan Category Theory Mathematical Physics Algebraic Topology Quantum Algebra 18N65, 18M40, 81T45 Category theory provides a unified language for organizing composable operations in many disciplines. In disciplines where unitarity is fundamental -- such as functional analysis, quantum field theory, and quantum logic -- this language must also capture adjoints, leading to the notion of dagger categories. Higher category theory, which extends this framework to encode operations between operations, has recently become indispensable in both theoretical physics and pure mathematics. Finding a higher categorical analogue of a dagger category is therefore key to the foundations of quantum field theory. In this work, we present a coherent definition of \emph{dagger $(\infty,n)$-category} in terms of equivariance data trivialized on parts of the category. Our main example is the bordism $(\infty,n)$-category $\mathbf{Bord}_{n}^X$. This allows us to define (fully-local) \emph{reflection-positive topological quantum field theories} to be higher dagger functors out of $\mathbf{Bord}_{n}^X$. |
| title | Dagger $n$-categories |
| topic | Category Theory Mathematical Physics Algebraic Topology Quantum Algebra 18N65, 18M40, 81T45 |
| url | https://arxiv.org/abs/2403.01651 |