Related papers: On normal tensor functors and coset decompositions…
A pointed fusion category is a rigid tensor category with finitely many isomorphism classes of simple objects which moreover are invertible. Two tensor categories $C$ and $D$ are weakly Morita equivalent if there exists an indecomposable…
Given a fusion category $\mathcal{C}$ and an indecomposable $\mathcal{C}$-module category $\mathcal{M}$, the fusion category $\mathcal{C}^*_\mathcal{M}$ of $\mathcal{C}$-module endofunctors of $\mathcal{M}$ is called the (Morita) dual…
We are concerned with the center (=quantum double) of tensor categories and prove generalizations of several results proven previously for quantum doubles of Hopf algebras. We consider F-linear tensor categories C with simple unit and…
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…
For any block of a finite group over an algebraically closed field of characteristic $2$ which has dihedral, semidihedral, or generalized quaternion defect groups, we determine explicitly the decomposition of the associated diagonal…
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…
We define equivariantization of tensor categories under tensor group scheme actions and give necessary and sufficient conditions for an exact sequence of tensor categories to be an equivariantization under a finite group or finite group…
In the category of monoids we characterize monomorphisms that are normal, in an appropriate sense, to internal reflexive relations, preorders or equivalence relations. The zero-classes of such internal relations are first described in terms…
We define and study a certain relative tensor product of subfactors over a modular tensor category. This gives a relative tensor product of two completely rational heterotic full local conformal nets with trivial superselection structures…
We characterize $t$-structures in stable $\infty$-categories as suitable quasicategorical factorization systems. More precisely we show that a $t$-structure $\mathfrak{t}$ on a stable $\infty$-category $\mathbf{C}$ is equivalent to a normal…
Based on the Kazama-Suzuki type coset construction and its inverse coset between the subregular $\mathcal{W}$-algebras for $\mathfrak{sl}_n$ and the principal $\mathcal{W}$-superalgebras for $\mathfrak{sl}_{1|n}$, we prove weight-wise…
For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative).…
We define two categories, the category $\mathfrak{F}\mathfrak{G}$ of fuzzy subgroups, and the category $\mathfrak{F}\mathfrak{C}$ of $F$-inverse covers of inverse monoids, and prove that $\mathfrak{F}\mathfrak{G}$ fully embeds into…
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 use F-theory to classify possibly all six-dimensional superconformal field theories (SCFTs). This involves a two step process: We first classify all possible tensor branches allowed in F-theory (which correspond to allowed collections of…
We introduce the notions of normal tensor functor and exact sequence of tensor categories. We show that exact sequences of tensor categories generalize strictly exact sequences of Hopf algebras as defined by Schneider, and in particular,…
We call a tensor functor $F:\mathcal{C}\to\mathcal{D}$ between finite tensor categories $\otimes$-Frobenius if its left and right adjoints are isomorphic as $\mathcal{C}$-bimodule functors. We give several characterizations of this notion…
A general construction of Knop creates a symmetric monoidal category $\mathcal{T}(\mathcal{A},\delta)$ from any regular category $\mathcal{A}$ and a fixed degree function $\delta$. A special case of this construction are the Deligne…
We generalize the construction of tensor categories of endomorphisms of a type III factor $M$ associated with a $G$-kernel, from the case of a discrete group $G$ to that of a compact second countable group. Our approach is based on the…
We compare the colimit and 2-colimit of strict 2-functors in the 2-category of groupoids, over a certain type of posets. These posets are of special importance, as they correspond to coverings of a topological space. The main result of this…