Related papers: Categorical aspects of compact quantum groups

We prove a number of results having to do with equipping type-I $\mathrm{C}^*$-algebras with compact quantum group structures, the two main ones being that such a compact quantum group is necessarily co-amenable, and that if the…

A convenient bicategory of topological stacks is constructed which is both complete and Cartesian closed. This bicategory, called the bicategory of compactly generated stacks, is the analogue of classical topological stacks, but for a…

We study the concept of co-amenability for a compact quantum group. Several conditions are derived that are shown to be equivalent to it. Some consequences of co-amenability that we obtain are faithfulness of the Haar integral and automatic…

We previously showed that abstract Cuntz semigroups form a closed symmetric monoidal category. This automatically provides additional structure in the category, such as a composition and an external tensor product, for which we give…

We provide a systematic description of the automorphism groups of specially cocompact CAT(0) cube complexes. We show that these groups are topologically finitely generated, present a method to explicitly obtain generating sets, and prove a…

Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the…

We construct inclusions of the form $(B_0\otimes P)^G\subset (B_1\otimes P)^G$, where $G$ is a compact quantum group of Kac type acting on an inclusion of finite dimensional $\c^*$-algebras $B_0\subset B_1$ and on a $II_1$ factor $P$. Under…

We show that every involutive Hopf monoid in a complete and finitely cocomplete symmetric monoidal category gives rise to invariants of oriented surfaces defined in terms of ribbon graphs. For every ribbon graph this yields an object in the…

A model category is called combinatorial if it is cofibrantly generated and its underlying category is locally presentable. As shown in recent years, homotopy categories of combinatorial model categories share useful properties, such as…

We study actions of compact quantum groups on type I factors, which may be interpreted as projective representations of compact quantum groups. We generalize to this setting some of Woronowicz' results concerning Peter-Weyl theory for…

A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on using the fact that the exponential functor is right adjoint to…

A formulation of quantum mechanics based on replacing the general unitary group by finite groups is considered. To solve problems arising in the context of this formulation, we use computer algebra and computational group theory methods.

We give a unified construction of quantum groups, q-Boson algebras and quantized Weyl algebras and an action of quantum groups on quantized Weyl algebras. This enables us to give a conceptual proof of the semi-simplicity of the category…

Let $\Uq$ be a quantum group. Regarding a (noncommutative) space with $\Uq$-symmetry as a $\Uq$-module algebra $A$, we may think of equivariant vector bundles on $A$ as projective $A$-modules with compatible $\Uq$-action. We construct an…

We consider compact matrix quantum groups whose $N$-dimensional fundamental representation decomposes into an $(N-1)$-dimensional and a one-dimensional subrepresentation. Even if we know that the compact matrix quantum group associated to…

The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…

We study the topological structure of the automorphism groups of compact quantum groups showing that, in parallel to a classical result due to Iwasawa, the connected component of identity of the automorphism group and of the "inner"…

A theorem is derived which (i) provides a new class of subfactors which may be interpreted as generalized asymptotic subfactors, and which (ii) ensures the existence of two-dimensional local quantum field theories associated with certain…

For each compact, simple, simply-connected Lie group and each integer level we construct a modular tensor category from a quotient of a certain subcategory of the category of representations of the corresponding quantum group. We determine…

We develop a class of homeomorphisms on a compact homogeneous space of a transitive group action and show how the class sheds new light on a decomposition problem. We further use this class to show that every such homogeneous space in a…