Related papers: A category of quantum categories

Parameterized complexity theory was developed in the 1990s to enrich the complexity-theoretic analysis of problems that depend on a range of parameters. In this paper we establish a quantum equivalent of classical parameterized complexity…

In this paper we realize the dynamical categories introduced in our previous paper as categories of modules over bialgebroids; we study the bialgebroids arising in this way. We define quasitriangular structure on bialgebroids and present…

It is shown that the principle of locality and noncommutative geometry can be connnected by a sheaf theoretical method. In this framework quantum spaces are introduced and examples in mathematical physics are given. With the language of…

The quantum field algebra of real scalar fields is shown to be an example of infinite dimensional quantum group. The underlying Hopf algebra is the symmetric algebra S(V) and the product is Wick's normal product. Two coquasitriangular…

We propose a categorical foundation for the connection between pure and mixed states in quantum information and quantum computation. The foundation is based on distributive monoidal categories. First, we prove that the category of all…

We use geometric ideas coming from certain classic algebraic constructions to associate, to every classical field theory, a symmetric monoidal double functor from the double category of cobordisms with corners to a certain symmetric…

The most standard description of symmetries of a mathematical structure produces a group. However, when the definition of this structure is motivated by physics, or information theory, etc., the respective symmetry objects might become more…

The codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category…

For a small involutive quantaloid $\mathcal{Q}$, it is shown that the category of separated complete $\mathcal{Q}$-categories and left adjoint $\mathcal{Q}$-functors is strictly monadic over the category of symmetric…

We define the cohomology and formal deformation theories for algebra and bialgebra categories. We suggest some approaches to finding nontrivial deformations of the categories associated to the quantum groups by the work of Lusztig.

We classify finite-dimensional complex Hopf algebras $A$ which are pointed, that is, all of whose irreducible comodules are one-dimensional, and whose group of group-like elements $G(A)$ is abelian such that all prime divisors of the order…

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…

Any two infinite-dimensional (separable) Hilbert spaces are unitarily isomorphic. The sets of all their self-adjoint operators are also therefore unitarily equivalent. Thus if all self-adjoint operators can be observed, and if there is no…

We study the Hopf equation which is equivalent to the pentagonal equation, from operator algebras. A FRT type theorem is given and new types of quantum groups are constructed. The key role is played now by the classical Hopf modules…

For a group G, the notion of a ribbon G-category was introduced by the second author in a previous work with a view towards constructing 3-dimensional homotopy quantum field theories (HQFT's) with target K(G,1). We discuss here how to…

Quantum groups have been studied within several areas of mathematics and mathematical physics. This has led to different approaches, each of them with their own techniques and conventions. Starting with Hopf algebras, where there is a…

This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a…

We show that the assignment of the (left) completely bounded multiplier algebra $M_{cb}^l(L^1(\mathbb G))$ to a locally compact quantum group $\mathbb G$, and the assignment of the intrinsic group, form functors between appropriate…

In this paper we suggest that in the framework of the Category Theory it is possible to demonstrate the mathematical and logical \textit{dual equivalence} between the category of the $q$-deformed Hopf Coalgebras and the category of the…

Polynomial functors are a categorical generalization of the usual notion of polynomial, which has found many applications in higher categories and type theory: those are generated by polynomials consisting a set of monomials built from sets…