Related papers: A category of quantum categories
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…
We apply categorical machinery to the problem of defining cyclic cohomology with coefficients in two particular cases, namely quasi-Hopf algebras and Hopf algebroids. In the case of the former, no definition was thus far available in the…
We study properties of a category after quotienting out a suitable chosen group of isomorphisms on each object. Coproducts in the original category are described in its quotient by our new weaker notion of a 'phased coproduct'. We examine…
We define natural A_infinity-transformations and construct A_infinity-category of A_infinity-functors. The notion of non-strict units in an A_infinity-category is introduced. The 2-category of (unital) A_infinity-categories, (unital)…
Expansion of the categorical point of view on many areas of the mathematics and mathematical physics will cause to deeper understanding of genuine features of these problems. New applications of categorical methods are connected with new…
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…
This article represents a preliminary attempt to link Kan extensions, and some of their further developments, to Fourier theory and quantum algebra through *-autonomous monoidal categories and related structures.
We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one may `discard' objects is equivalent to a…
We discuss various notions generalizing the concept of a homogeneous space to the setting of locally compact quantum groups. On the von Neumann algebra level we find an interesting duality for such objects. A definition of a quantum…
Quantum classification is defined as the task of predicting the associated class of an unknown quantum state drawn from an ensemble of pure states given a finite number of copies of this state. By recasting the state discrimination problem…
There are various generalizations of bialgebras to their ''many object'' versions, such as quantum categories, bialgebroids and weak bialgebras. These can also be thought of as quantum analogues of small categories. In this paper we study…
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
We give the construction of a class of weak Hopf algebras (or quantum groupoids) associated to a matched pair of groupoids and certain cocycle data. This generalizes a now well-known construction for Hopf algebras, first studied by G. I.…
Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…
The Fourier transform, known in classical analysis, and generalized in abstract harmonic analysis, can also be considered in the theory of locally compact quantum groups. In this note, I discuss some aspects of this more general Fourier…
Quantum field theory allows more general symmetries than groups and Lie algebras. For instance quantum groups, that is Hopf algebras, have been familiar to theoretical physicists for a while now. Nowdays many examples of symmetries of…
We define algebraic families of (all) morphisms which are purely algebraic analogs of quantum families of (all) maps introduced by P.M. Soltan. Also, algebraic families of (all) isomorphisms are introduced. By using these notions we…
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…
We use tools from non-standard analysis to formulate the building blocks of quantum field theory within the framework of categorical quantum mechanics. Building upon previous work, we construct an object of *Hilb having quantum fields as…
This invited chapter in the Handbook of Quantum Logic and Quantum Structures consists of two parts: 1. A substantially updated version of quant-ph/0402130 by the same authors, which initiated the area of categorical quantum mechanics, but…