Related papers: Categorical aspects of compact quantum groups

The purpose of this paper is to consider some basic constructions in the category of compact quantum groups --for example de case of extensions, of Drinfeld twists, of matched pairs, of extensions, of linked pairs and of cocycle Singer…

Quantum groupoids are a joint generalization of groupoids and quantum groups. We propose a definition of a compact quantum groupoid that is based on the theory of C*-algebras and Hilbert bimodules. The essential point is that whenever one…

We introduce a non commutative analog of the Bohr compactification. Starting from a general quantum group G we define a compact quantum group bG which has a universal property such as the universal property of the classical Bohr…

We present a contribution to the structure theory of locally compact groups. The emphasis is on compactly generated locally compact groups which admit no infinite discrete quotient. It is shown that such a group possesses a characteristic…

Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based constructions. For example, they cannot capture protocols such as quantum…

The category of locally compact quantum groups can be described as either Hopf $*$-homomorphisms between universal quantum groups, or as bicharacters on reduced quantum groups. We show how So{\l}tan's quantum Bohr compactification can be…

In the framework of locally covariant quantum field theory, a theory is described as a functor from a category of spacetimes to a category of *-algebras. It is proposed that the global gauge group of such a theory can be identified as the…

We introduce the coherent algebra of a compact metric measure space by analogy with the corresponding concept for a finite graph. As an application we show that upon topologizing the collection of isomorphism classes of compact metric…

The notion of simple compact quantum group is introduced. As non-trivial (noncommutative and noncocommutative) examples, the following families of compact quantum groups are shown to be simple: (a) The universal quantum groups $B_u(Q)$ for…

We introduce a notion of quantum function, and develop a compositional framework for finite quantum set theory based on a 2-category of quantum sets and quantum functions. We use this framework to formulate a 2-categorical theory of quantum…

We prove a number of results concerning monomorphisms, epimorphisms, dominions and codominions in categories of coalgebras. Examples include: (a) representation-theoretic characterizations of monomorphisms in all of these categories that…

We classify the compact quantum groups $A_u(Q)$ (resp. $B_u(Q)$) up to isomorphism when $Q>0$ (resp. when $Q \bar{Q} \in {\mathbb R} I_n$). We show that the general $A_u(Q)$'s and $B_u(Q)$'s for arbitrary $Q$ have explicit decompositions…

From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomorphisms. If we do this for the adjunction between effect…

Continuing our research on extensions of locally compact quantum groups, we give a classification of all cocycle matched pairs of Lie algebras in small dimensions and prove that all of them can be exponentiated to cocycle matched pairs of…

We define new compact matrix quantum groups whose intertwiner spaces are dual to tensor categories of three-dimensional set partitions -- which we call spatial partitions. This extends substantially Banica and Speicher's approach of the so…

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 show that the quantum family of all maps from a finite space to a finite dimensional compact quantum semigroup has a canonical quantum semigroup structure.

We prove that an action $\rho:A\to M(C_0(\mathbb{G})\otimes A)$ of a locally compact quantum group on a $C^*$-algebra has a universal equivariant compactification, and prove a number of other category-theoretic results on…

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…

We construct the quadratic analogue of the boson Fock functor. While in the first order case all contractions on the 1--particle space can be second quantized, the semigroup of contractions that admit a quadratic second quantization is much…