Related papers: Bicommutant categories from conformal nets

This paper proves three different coherence theorems for symmetric monoidal bicategories. First, we show that in a free symmetric monoidal bicategory every diagram of 2-cells commutes. Second, we show that this implies that the free…

We define locally wide finitary 2-categories by relaxing the definition of finitary 2-categories to allow infinitely many objects and isomorphism classes of 1-morphisms and infinite dimensional hom-spaces of 2-morphisms. After defining…

In this work we construct a compactly generated tensor-triangulated stable category for a large class of infinite groups, including those in Kropholler's hierarchy $\mathrm{LH}\mathfrak{F}$. This can be constructed as the homotopy category…

We prove Eilenberg-Watts Theorem for 2-categories of the representation categories $\C\x\Mod$ of finite tensor categories $\C$. For a consequence we obtain that any autoequivalence of $\C\x\Mod$ is given by tensoring with a representative…

For a finite braided tensor category we introduce its Picard crossed module consisting of the group of invertible module categories and the group of braided tensor autoequivalences. We describe the Picard crossed module in terms of braided…

We prove the equivalence of VOA tensor categories and conformal net tensor categories for the following examples: all WZW models; all lattice VOAs; all unitary parafermion VOAs; type $ADE$ discrete series $W$-algebras; their tensor…

Given a braided fusion category $C$, it is well known that the natural map $C \boxtimes C^{bop} \to Z(C)$ from the square of $C$ to the (Drinfeld) categorical center $Z(C)$ is an equivalence if and only if $C$ is modular. However, it is not…

We introduce a functor $\mathcal V\colon \mathrm{DblCat}_{h,nps}\to \mathrm{2Cat}_{h,nps}$ extracting from a double category a $2$-category whose objects and morphisms are the vertical morphisms and squares. We give a characterisation of…

Conformal nets are a mathematical model for conformal field theory, and defects between conformal nets are a model for an interaction or phase transition between two conformal field theories. In the preceding paper of this series, we…

Let $\mathcal{C}$ be a spherical fusion category. The goal of this article is to present the tube category of $\mathcal{C}$, denoted $\mathcal{TC}$, as giving an alternative graphical perspective on the Drinfeld centre of $\mathcal{C}$,…

We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This…

We generalize the notion of ends and coends in category theory to the realm of module categories over finite tensor categories. We call this new concept "module (co)end". This tool allows us to give different proofs to several known results…

In the setting of C*-categories, we provide a definition of "spectrum" of a commutative full C*-category as a one-dimensional unital saturated Fell bundle over a suitable groupoid (equivalence relation) and prove a categorical Gelfand…

A new proof of the classification for tensor ideal thick subcategories of the bounded derived category, and the stable category, of modular representations of a finite group is obtained. The arguments apply more generally to yield a…

The completeness of the group classification of systems of two linear second-order ordinary differential equations with constant coefficients is delineated in the paper. The new cases extend what has been done in the literature. These cases…

The monoidal category of Soergel bimodules is an incarnation of the Hecke category, a fundamental object in representation theory. We present this category by generators and relations, using the language of planar diagrammatics. We show…

Given the Hamiltonian realisation of a topological (3+1)d gauge theory with finite group $G$, we consider a family of tensor network representations of its ground state subspace. This family is indexed by gapped boundary conditions encoded…

For an arbitrary commutative ring k and t in k, we construct a 2-functor S_t which sends a tensor category to a new tensor category. By applying it to the representation category of a bialgebra we obtain a family of categories which…

We develop a string-net construction of a modular functor whose algebraic input is a pivotal bicategory; this extends the standard construction based on a spherical fusion category. An essential ingredient in our construction is a graphical…

A finite pre-tensor category is a finite abelian category equipped with a right exact tensor product for which every projective object has duals. Finite tensor categories, for which every object has duals, are notable examples. More…