Related papers: Module categories for permutation modular invarian…
This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule…
We define and study the notion of a crossed module over an inverse semigroup and the corresponding $4$-term exact sequences, called crossed module extensions. For a crossed module $A$ over an $F$-inverse monoid $T$, we show that equivalence…
We apply the yoga of classical homotopy theory to classification problems of G-extensions of fusion and braided fusion categories, where G is a finite group. Namely, we reduce such problems to classification (up to homotopy) of maps from BG…
The semisimple module categories over a braided fusion category $\mathcal{C}$ form a connected fusion 2-category $\text{Mod}(\mathcal{C})$. Its Drinfeld center $\mathcal{Z}(\text{Mod}(\mathcal{C}))$ is a braided fusion 2-category. To any…
We produce a cofibrantly generated simplicial symmetric monoidal model structure for the category of (small unital) C*-categories, whose weak equivalences are the unitary equivalences. The closed monoidal structure consists of the maximal…
We show that the non-trivially associated tensor category constructed from left coset representatives of a subgroup of a finite group is a modular category. Also we give a definition of the character of an object in a ribbon category which…
Using Dugger's construction of universal model categories, we produce replacements for simplicial and combinatorial symmetric monoidal model categories with better operadic properties. Namely, these replacements admit a model structure on…
Two Hopf algebras are called monoidally Morita equivalent if module categories over them are equivalent as linear monoidal categories. We introduce monoidal Morita invariants for finite-dimensional Hopf algebras based on certain braid group…
We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and…
We instal homological algebra, including derived functors, on certain non-additive categories like categories of pointed CW-complexes, modules of monoids or sheaves thereof. We apply this theory to Monoid schemes and sheaves on them,…
In this paper, we develop several general techniques to investigate modular invariants of conformal field theories whose algebras of the holomorphic and anti-holomorphic sectors are different. As an application, we find all such…
We describe the structure of module categories of finite dimensional algebras over an algebraically closed field for which the cycles of nonzero nonisomorphisms between indecomposable finite dimensional modules are finite (do not belong to…
A bicommutant category is a higher categorical analog of a von Neumann algebra. We study the bicommutant categories which arise as the commutant $\mathcal{C}'$ of a fully faithful representation $\mathcal{C}\to\operatorname{Bim}(R)$ of a…
Let Q be a finite quiver without oriented cycles, and let $\Lambda$ be the associated preprojective algebra. To each terminal representation M of Q (these are certain preinjective representations), we attach a natural subcategory $C_M$ of…
As shown by S. Eilenberg and J.C. Moore (1965), for a monad $F$ with right adjoint comonad $G$ on any catgeory $\mathbb{A}$, the category of unital $F$-modules $\mathbb{A}_F$ is isomorphic to the category of counital $G$-comodules…
In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category $\mathcal{C}$ endowed with a symmetric $2$-trace, one can attach a cyclic (resp. cocyclic)…
We first introduce the notion of Doi Hom-Hopf modules and find the sufficient condition for the category of Doi Hom-Hopf modules to be monoidal. Also we obtain the condition for the monoidal Hom-algebra and monoidal Hom-coalgebra to be…
A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the…
We give explicit axioms for the algebraic theory of the quasivarieties of right-preordered groups and preordered groups. We then look at lattices of effective equivalence relations, which turn out to be similar to the lattices of…
We show that various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal are full subcategories of the related derived categories of modules. By the work of…