Related papers: Q-system Completion of 2-functors
We review the condensation completion of a modular tensor category $\mathcal{C}$, which yields a fusion 2-category $\Sigma\mathcal{C}$ of separable algebras, bimodules over algebras and bimodule maps in $\mathcal{C}$. Physically,…
We construct a q-deformed version of the conformal quantum mechanics model of de Alfaro, Fubini and Furlan for which the deformation parameter is complex and the unitary time evolution of the system is preserved. We also study differential…
For a differential graded k-quiver Q we define the free A-infinity-category FQ generated by Q. The main result is that for an arbitrary A-infinity-category A the restriction A-infinity-functor A_\infty(FQ,A) -> A_1(Q,A) is an equivalence,…
We introduce a K-theoretic invariant for actions of unitary fusion categories on unital C*-algebras. We show that for inductive limits of finite dimensional actions of fusion categories on unital AF-algebras, this is a complete invariant.…
The goal of this article is to emphasize the role of cubical sets in enriched categories theory and infinity-categories theory. We show in particular that categories enriched in cubical sets provide a convenient way to describe many…
The Quantum Query Model is a framework that allows us to express most known quantum algorithms. Algorithms represented by this model consist on a set of unitary operators acting over a finite Hilbert space, and a final measurement step…
A bivariant functor is defined on a category of *-algebras and a category of operator ideals, both with actions of a second countable group $G$, into the category of abelian monoids. The element of the bivariant functor will be…
We investigate what would be a correct definition of categorical completeness for C*-categories and propose several variants of such a definition that make the category of Hilbert modules over a C*-algebra a free (co)completion. We extend…
The $q$-calculus for generic $q$ is developed and related to the deformed oscillator of parameter $q^{1/2}$. By passing with care to the limit in which $q$ is a root of unity, one uncovers the full algebraic structure of ${{\cal…
We prove that the category of abstract Cuntz semigroups is bicomplete. As a consequence, the category admits products and ultraproducts. We further show that the scaled Cuntz semigroup of the (ultra)product of a family of C*-algebras agrees…
The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, called Q-module transforms, is defined. Such operators - that turn out to…
We classify all (saturated) fusion systems on bicyclic 2-groups. Here, a bicyclic group is a product of two cyclic subgroups. This extends previous work on fusion systems on metacyclic 2-groups (see [Craven-Glesser, 2012] and [Sambale,…
Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…
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…
With a global function field K with constant field F_q, a finite set S of primes in K and an abelian extension L of K, finite or infinite, we associate a C*-dynamical system. The systems, or at least their underlying groupoids, defined…
We describe the representation theory of C*-crossed-products of a unital C*-algebra A by the cyclic group of order 2. We prove that there are two main types of irreducible representations for the crossed-product: those whose restriction to…
We consider a subclass of the class of group-theoretical fusion categories: To every finite group $G$ and subgroup $H$ one can associate the category of $G$-graded vector spaces with a two-sided $H$-action compatible with the grading. We…
We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…
As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…
Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra, $U_q(\mathfrak{g})$ its quantum group, and $U_q(\mathfrak{k}) \subset U_q(\mathfrak{g})$ a quantum symmetric pair subalgebra determined by a Lie algebra automorphism $\theta$. We…