相关论文: Categorical formulation of quantum algebras
In the present paper we propose a new approach to quantum fields in terms of category algebras and states on categories. We define quantum fields and their states as category algebras and states on causal categories with partial involution…
The existing relation between the tomographic description of quantum states and the convolution algebra of certain discrete groupoids represented on Hilbert spaces will be discussed. The realizations of groupoid algebras based on qudit,…
Quantum categories were introduced in [4] as generalizations of both bi(co)algebroids and small categories. We clarify details of that work. In particular, we show explicitly how the monadic definition of a quantum category unpacks to a set…
We functorially characterize groupoids as special dagger Frobenius algebras in the category of sets and relations. This is then generalized to a non-unital setting, by establishing an adjunction between H*-algebras in the category of sets…
Dagger categories are an essential tool for categorical descriptions of quantum physics, for example in categorical quantum mechanics and unitary topological field theory. Their definition however is in tension with the ``principle of…
We introduce the nuclear dimension of a C*-algebra; this is a noncommutative version of topological covering dimension based on a modification of the earlier concept of decomposition rank. Our notion behaves well with respect to inductive…
We unravel a deep connection between limits of real numbers and limits in category theory. Using a new variant of the classical characterisation of the real numbers, we characterise the category of finite-dimensional Hilbert spaces and…
We show that the canonical equivalences of categories between 2-dimensional (unoriented) topological quantum field theories valued in a symmetric monoidal category and (extended) commutative Frobenius algebras in that symmetric monoidal…
Physical theories can be characterized in terms of their state spaces and their evolutive equations. The kinematical structure and the dynamical structure of finite dimensional quantum theory are, in light of the Choi-Jamio{\l}kowski…
This paper has two tightly intertwined aims: (i) To introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies derivations in the area of quantum computation and information.…
We provide a universal construction of the category of finite-dimensional C*-algebras and completely positive trace-nonincreasing maps from the rig category of finite-dimensional Hilbert spaces and unitaries. This construction, which can be…
We produce graded monoidal categorifications of the quantum boson algebras in any symmetrizable Kac-Moody type. Our categories are defined in terms of diagrammatic generators and relations and have a faithful 2-representation on…
We construct a topos of quantum sets and embed into it the classical topos of sets. We show that the internal logic of the topos of sets, when interpreted in the topos of quantum sets, provides the Birkhoff-von Neumann quantum propositional…
A Q-system in a C* 2-category is a unitary version of a separable Frobenius algebra object and can be viewed as a unitary version of a higher idempotent. We define a higher unitary idempotent completion for C* 2-categories called Q-system…
The standard representation of c*-algebra is used to describe fields in compactified space-time dimensions characterized by topologies of the type $ \Gamma_{D}^{d}=(\mathbb{S}^{1})^{d}\times \mathbb{M}^{D-d}$. The modular operator is…
This survey article is concerned with the modeling of the kinematical structure of quantum systems in an algebraic framework which eliminates certain conceptual and computational difficulties of the conventional approaches. Relying on the…
A classical result in quantum topology is that oriented 2-dimensional topological quantum field theories (2-TQFTs) are fully classified by commutative Frobenius algebras. In 2006, Turaev and Turner introduced additional structure on…
We review the problem of finding a general framework within which one can construct quantum theories of non-standard models for space, or space-time. The starting point is the observation that entities of this type can typically be regarded…
This document is meant as a pedagogical introduction to the modern language used to talk about quantum theory, especially in the field of quantum information. It assumes that the reader has taken a first traditional course on quantum…
This thesis studies the categorical formalisation of quantum computing, through the prism of type theory, in a three-tier process. The first stage of our investigation involves the creation of the dagger lambda calculus, a lambda calculus…