Related papers: Unitary dual functors for unitary multitensor cate…
In our previous article [arXiv:1607.06041], we established an equivalence between pointed pivotal module tensor categories and anchored planar algebras. This article introduces the notion of unitarity for both module tensor categories and…
We suggest two approaches to a definition of unitarity for pseudonatural transformations between unitary pseudofunctors on pivotal dagger 2-categories. The first is to require that the 2-morphism components of the transformation be unitary.…
This article provides an alternate characterization of dagger categories, which are central to the study of categorical quantum mechanics, in terms of inner product categories. An inner product category is an "achiral involutive" category…
We study tensor structures on (Rep G)-module categories defined by actions of a compact quantum group G on unital C*-algebras. We show that having a tensor product which defines the module structure is equivalent to enriching the action of…
We prove that the unitary Drinfeld center of a unitary tensor category is equivalente to the category of unitary bimodules for the canonical W*-algebra object, generalizing M\"uger's result to the non-fusion case. This is then used to…
We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double…
The orthogonal and unitary calculi give a method to study functors from the category of real or complex inner product spaces to the category of based topological spaces. We construct functors between the calculi from the…
We show that every unitarizable fusion category, and more generally every semisimple C*-tensor category, admits a unique unitary structure. Our proof is based on a categorified polar decomposition theorem for monoidal equivalences between…
We use the theory of regular objects in tensor categories to clarify the passage between braided multiplicative unitaries and multiplicative unitaries with projection. The braided multiplicative unitary and its semidirect product…
A dagger category is a category equipped with a functorial way of reversing morphisms, i.e. a contravariant involutive identity-on-objects endofunctor. Dagger categories with additional structure have been studied under different names e.g.…
Multiplicative Unitaries are described in terms of a pair of commuting shifts of relative depth two. They can be generated from ambidextrous Hilbert spaces in a tensor C*-category. The algebraic analogue of the Takesaki-Tatsuuma Duality…
Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses the graphical calculus of string diagrams to facilitate reasoning about finite dimensional processes. A significant…
In this paper we follow the constructions of Turaev's book [Tu] closely, but with small modifications, to construct of a modular functor, in the sense of Kevin Walker, from any modular tensor category. We further show that this modular…
We show that a pair of complementary dagger-Frobenius algebras, equipped with a self-conjugate comonoid homomorphism onto one of the algebras, produce a nontrivial unitary morphism on the product of the algebras. This gives an abstract…
The complex numbers are an important part of quantum theory, but are difficult to motivate from a theoretical perspective. We describe a simple formal framework for theories of physics, and show that if a theory of physics presented in this…
We introduce a category of inverse semigroup actions and a category of \'etale groupoids. We show that there are three functors which send inverse semigroups to their spectral actions, inverse semigroup actions to their transformation…
Given a fusion category $\mathcal{C}$ and an indecomposable $\mathcal{C}$-module category $\mathcal{M}$, the fusion category $\mathcal{C}^*_\mathcal{M}$ of $\mathcal{C}$-module endofunctors of $\mathcal{M}$ is called the (Morita) dual…
In our article [arXiv:1511.05226], we studied the commutant $\mathcal{C}'\subset \operatorname{Bim}(R)$ of a unitary fusion category $\mathcal{C}$, where $R$ is a hyperfinite factor of type $\rm II_1$, $\rm II_\infty$, or $\rm III_1$, and…
We show that a twistor construction of Hitchin and Ward can be adapted to study unitons (harmonic spheres in a unitary group). Specifically, we show that unitons are equivalent to holomorphic bundles with extra structure over a rational…
We generalize Jones' planar algebras by internalising the notion to a pivotal braided tensor category $\mathcal{C}$. To formulate the notion, the planar tangles are now equipped with additional `anchor lines' which connect the inner circles…