Related papers: Exact factorizations and extensions of finite tens…
We extend the calculus of relations to embed a regular category A into a family of pseudo-abelian tensor categories T(A,d) depending on a degree function d. Under the condition that all objects of A have only finitely many subobjects, our…
We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems…
We set up a general framework to study Tate cohomology groups of Galois modules along $\mathbb{Z}_p$-extensions of number fields. Under suitable assumptions on the Galois modules, we establish the existence of a five-term exact sequence in…
Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…
Q-systems describe "extensions" of an infinite von Neumann factor $N$, i.e., finite-index unital inclusions of $N$ into another von Neumann algebra $M$. They are (special cases of) Frobenius algebras in the C* tensor category of…
Inspired by the work of Radford, for $H$ an arbitrary quasi-Hopf algebra we describe all the Hopf algebras of dimension $2$ within the braided category of left Yetter-Drinfeld modules over $H$ and determine the biproduct quasi-Hopf algebras…
In this article the notions of (quasi weakly hereditary) general closure operator $\mb{C}$ on a category $\cx$ with respect to a class $\cm$ of morphisms, and quasi factorization structures in a category $\cx$ are introduced. It is shown…
We continue our study of relatively divisible and relatively flat objects in exact categories in the sense of Quillen with several applications to exact structures on finitely accessible additive categories and module categories. We derive…
We introduce the notion of a matched pair of fusion rings and fusion categories, generalizing the one for groups. Using this concept, we define the bicrossed product of fusion rings and fusion categories and we construct exact…
It is well known that if two finite groups have the same symmetric tensor categories of representations over C, then they are isomorphic. We study the following question: when do two finite groups G1,G2 have the same tensor categories of…
We advance the classification of fusion categories in two directions. Firstly, we completely classify integral fusion categories -- and consequently, semi-simple Hopf algebras -- of dimension $pq^2$, where $p$ and $q$ are distinct primes.…
We classify thick subcategories of the $\infty$-categories of perfect modules over ring spectra which arise as functions on even periodic derived stacks satisfying affineness and regularity conditions. For example, we show that the thick…
We study IE-closed subcategories of a module category, subcategories which are closed under taking Images and Extensions. We investigate the relation between IE-closed subcategories and torsion pairs, and characterize $\tau$-tilting finite…
We consider finitely presented,residually finite groups $G$ and finitely generated normal subgroups $A$ such that the inclusion $A\hookrightarrow G$ induces an isomorphism from the profinite completion of $A$ to a direct factor of the…
We study a form of refined class number formula (resp. type number formula) for maximal orders in totally definite quaternion algebras over real quadratic fields, by taking into consideration the automorphism groups of right ideal classes…
We provide isomorphism results for Hopf algebras that are obtained as graded twistings of function algebras on finite groups by cocentral actions of cyclic groups. More generally , we also consider the isomorphism problem for…
We study good (i.e., semisimple) reductions of semisimple rigid tensor categories modulo primes. A prime p is called good for a semisimple rigid tensor category C if such a reduction exists (otherwise, it is called bad). It is clear that a…
Let $\mathcal{C}:=\mathcal{C}(G,\omega,H,\psi)$ be a finite group scheme-theoretical category over an algebraically closed field of characteristic $p\ge 0$ as defined by the first author. For any indecomposable exact module category over…
For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…
We define exact sequences in the enchilada category of $C^*$-algebras and correspondences, and prove that the reduced-crossed-product functor is not exact for the enchilada categories. Our motivation was to determine whether we can have a…