Related papers: Q-system Completion of 2-functors

We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita…

We consider the functor C that to a unital C*-algebra A assigns the partial order set C(A) of its commutative C*-subalgebras ordered by inclusion. We investigate how some C*-algebraic properties translate under the action of C to…

We study the monoidal dagger category of Hilbert C*-modules over a commutative C*-algebra from the perspective of categorical quantum mechanics. The dual objects are the finitely presented projective Hilbert C*-modules. Special dagger…

Given a saturated fusion system $\mathcal{F}$ over a $2$-group $S$, we prove that $S$ is abelian provided any element of $S$ is $\mathcal{F}$-conjugate to an element of $Z(S)$. This generalizes a Theorem of Camina--Herzog, leading to a…

This survey article is concerned with the modeling of the kinematical structure of quantum systems in an algebraic framework which eliminates certain conceptual and computational difficulties of the conventional approaches. Relying on the…

We study the general structure of 2-C*-categories closed under conjugation, projections and direct sums. We do not assume units to be simple, i.e. for i_A the 1-unit corresponding to an object A, the space Hom(i_A, i_A) is a commutative…

For a full subcategory B of a unital A_infinity-category C a quotient unital A_infinity-category `C/B' is defined. For differential graded categories such quotient is constructed by V.Drinfeld. Our construction is explicit and uses freely…

We introduce a new cubical model for homotopy types. More precisely, we'll define a category Qs with the following features: Qs is a PROP containing the classical box category as a subcategory, the category Qs-Set of presheaves of sets on…

We present a formalization of quasi-compact and quasi-separated schemes (qcqs-schemes) in the Cubical Agda proof assistant. We follow Grothendieck's functor of points approach, which defines schemes, the quintessential notion of modern…

Let $U_q(\hat{\cal G})$ denote the quantized affine Lie algebra and $U_q({\cal G}^{(1)})$ the quantized {\em nontwisted} affine Lie algebra. Let ${\cal O}_{\rm fin}$ be the category defined in section 3. We show that when the deformation…

The 2-adic ring $C^*$-algebra $\mathcal{Q}_2$ is the universal $C^*$-algebra generated by a unitary and an isometry satisfying certain relations. It contains a canonical copy of the Cuntz algebra $\mathcal{O}_2$. We show that…

Generalizing work by Pinzari and Roberts, we characterize actions of a compact quantum group G on C*-algebras in terms of what we call weak unitary tensor functors from Rep G into categories of C*-correspondences. We discuss the relation of…

We develop a theory of two-parameter quantum polynomial functors. Similar to how (strict) polynomial functors give a new interpretation of polynomial representations of the general linear groups $\operatorname{GL}_n$, the two-parameter…

In this paper, we define the functor category Fquad associated to vector spaces over the field with two elements, F\_2, equipped with a quadratic form. We show the existence of a fully-faithful, exact functor \iota: \F \to Fquad, which…

We introduce an analogue of the $q$-Schur algebra associated to Coxeter systems of type $\hat A_{n-1}$. We give two constructions of this algebra. The first construction realizes the algebra as a certain endomorphism algebra arising from an…

We define the notion of quantized function algebras at $q=0$ or crystallization of the $q$ deformations of the type $A_{n}$ compact Lie groups at the $C^*$-algebra level. The $C^{*}$-algebra $A_{n}(0)$ is defined as a universal…

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 show that the bigroupoid of separable symmetric Frobenius algebras over an algebraically closed field and the bigroupoid of finitely semi-simple Calabi-Yau categories are equivalent. To this end, we construct a trace on the category of…

In previous work, we defined the category of functors Fquad, associated to vector spaces over the field with two elements equipped with a nondegenerate quadratic form. In this paper, we define a special family of objects in the category…

For a certain class of Lie bialgebras $(A,A^*)$ the corresponding quantum universal enveloping algebras $U_q(A)$ are prooved to be equivalent to quantum groups Fun$_q(F^*)$, $F^*$ being the factor group for the dual group $G^*$. This…