Related papers: Module categories, internal bimodules and Tambara …

We extend Lurie's definition of enriched $\infty$-categories to notions of left enriched, right enriched and bienriched $\infty$-categories, which generalize the concepts of closed left tensored, right tensored and bitensored…

For the cyclic group $C_2$ we give a complete description of the derived category of perfect complexes of modules over the constant Mackey ring $\underline{\mathbb{Z}/\ell}$, for $\ell$ a prime. This is fairly simple for $\ell$ odd, but for…

We show that a compact rigid balanced braided monoidal category with enough compact projective objects gives rise to a system of mapping class group representations compatible with the gluing along marked intervals. A motivation to consider…

We define quantum automorphism groups of a wide range of discrete structures. The central tool for their construction is a generalisation of the Tannaka-Krein reconstruction theorem. For any direct sum of matrix algebras $M$, and any…

The aim of this paper is to unify classification theories of torsion classes of finite dimensional algebras and commutative Noetherian rings. For a commutative Noetherian ring $R$ and a module-finite $R$-algebra $\Lambda$, we study the set…

For a finite tensor category $\mathcal C$ and a Hopf monad $T:\mathcal C\to \mathcal C$ satisfying certain conditions we describe exact indecomposable left $\mathcal C^T$-module categories in terms of left $\mathcal C$-module categories and…

Let $B$ be the one-point extension algebra of $A$ by an $A$-module $M$. We proved that every ICE-closed subcategory in$\mod A$ can be extended to be some ICE-closed subcategories in$\mod B$.In the same way, every epibrick in $\mod A$ can be…

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

Let $k$ be a field and $A$ a finite-dimensional $k$-algebra of global dimension $\leq 2$. We construct a triangulated category $\Cc_A$ associated to $A$ which, if $A$ is hereditary, is triangle equivalent to the cluster category of $A$.…

The principal aim of this note is to give an elementary proof of the fact that any two fiber functors of a Tannakian category are locally isomorphic. This builds on an idea of Deligne concerning scalar extensions of Tannakian categories and…

Let $\mathcal{C}$ be a finite tensor category and $\mathcal{M}$ an exact left $\mathcal{C}$-module category. We call $\mathcal{M}$ unimodular if the finite multitensor category ${\sf Rex}_{\mathcal{C}}(\mathcal{M})$ of right exact…

This paper lays some of the foundations for working with not-necessarily-commutative bialgebras and their categories of comodules in $\infty$-categories. We prove that the categories of comodules and modules over a bialgebra always admit…

We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…

Considering a (co)homology theory $\mathbb{T}$ on a base category $\mathcal{C}$ as a fragment of a first-order logical theory we here construct an abelian category $\mathcal{A}[\mathbb{T}]$ which is universal with respect to models of…

Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is…

We show that an abelian category can be exactly, fully faithfully embedded into a module category as the right perpendicular subcategory to a set of modules or module morphisms if and only if it is a locally presentable abelian category…

We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define…

We study categorical models for the unitless fragment of multiplicative linear logic. We find that the appropriate notion of model is a special kind of promonoidal category. Since the theory of promonoidal categories has not been developed…

For a braided tensor category C and a subcategory K there is a notion of centralizer C_C(K), which is a full tensor subcategory of C. A pre-modular tensor category is known to be modular in the sense of Turaev iff the center Z_2(C):=C_C(C)…

In categorical realizability, it is common to construct categories of assemblies and categories of modest sets from applicative structures. These categories have structures corresponding to the structures of applicative structures. In the…