Related papers: *-Autonomous categories in quantum theory

We describe a duality for quantale-enriched categories that extends the Lawson duality for continuous dcpos: for any saturated class J of modules that commute with certain weighted limits, and under an appropriate choice of morphisms, the…

In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits…

An operator space analysis of quantum stochastic cocycles is undertaken. These are cocycles with respect to an ampliated CCR flow, adapted to the associated filtration of subspaces, or subalgebras. They form a noncommutative analogue of…

By introducing the concepts of asymptopia and bi-asymptopia, we show how braided tensor C*-categories arise in a natural way. This generalizes constructions in algebraic quantum field theory by replacing local commutativity by suitable…

We develop theory of multiplicity maps for compact quantum groups, as an application, we obtain a complete classification of right coideal $C^*$-algebras of $C(SU_q(2))$ for $q\in [-1,1]\setminus \{0\}$. They are labeled with Dynkin…

Duality transformations within the quantum mechanics of a finite number of degrees of freedom can be regarded as the dependence of the notion of a quantum, i.e., an elementary excitation of the vacuum, on the observer on classical phase…

Torsion-freeness for discrete quantum groups was introduced by R. Meyer in order to formulate a version of the Baum-Connes conjecture for discrete quantum groups. In this note, we introduce torsion-freeness for abstract fusion rings. We…

Vladimir Turaev discovered in the early years of quantum topology that the notion of modular category was an appropriate structure for building 3-dimensional Topological Quantum Field Theories (TQFTs for short) containing invariants of…

We present here definitions and constructions basic for the theory of monoidal and tensor categories. We provide references to the original sources, whenever possible. Group-theoretical categories are used as examples

We define a class of monoidal categories whose morphisms are diagrams, and which are enhancements and generalisations of the Brauer category obtained by adjoining infinitesimal braids, "coupons" and poles. Properties of these categories are…

We propose categories of $1$-dimensional and multi-dimensional quantum walks. In the categories, an object is a quantum walk, and a morphism is an intertwining operator between two quantum walks. The new framework enables us to discuss…

A quantum groups of type $A$ is defined in terms of a Hecke symmetry. We show in this paper that the representation category of such a quantum group is uniquely determined as an abelian braided monoidal category by the bi-rank of the Hecke…

We derive the category-theoretic backbone of quantum theory from a process ontology. More specifically, we treat quantum theory as a theory of systems, processes and their interactions. In this first part of a three-part overview, we first…

In the framework of Category Theory, we study the association between finite--dimensional representations of a compact quantum group and quantum vector bundles with linear connections for a given quantum principal bundle with a principal…

Markov categories have recently emerged as a powerful high-level framework for probability theory and theoretical statistics. Here we study a quantum version of this concept, called involutive Markov categories. These are equivalent to…

A detailed account of the construction of a homogeneous space for the quantum "az+b" group is presented. The homogeneous space is described by a commutative C*-algebra which means that it is a classical space. Then a covariant differential…

We study the question when a *-autonomous (Mix-)category has a representation as a $*$-autonomous category of a compact one. We prove that necessary and sufficient condition is that weak distributivity maps are monic (or, equivalently…

We prove an analogue of the Baum-Connes conjecture for free orthogonal quantum groups. More precisely, we show that these quantum groups have a $ \gamma $-element and that $ \gamma = 1 $. It follows that free orthogonal quantum groups are $…

The algebraic $L$-groups $L_*(\A,X)$ are defined for an additive category $\A$ with chain duality and a $\Delta$-set $X$, and identified with the generalized homology groups $H_*(X;\LL_{\bullet}(\A))$ of $X$ with coefficients in the…

We give a characterisation of quantum automorphism groups of trees. In particular, for every tree, we show how to iteratively construct its quantum automorphism group using free products and free wreath products. This can be considered a…