Dagger $n$-categories

Abstract

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 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$