Related papers: Monads and comonads in module categories

Let $G$ be a group and $\Bbbk$ a commutative ring. All categories and functors are assumed to be $\Bbbk$-linear. We define a $G$-invariant bimodule ${}_SM_R$ over $G$-categories $R, S$ and a $G$-graded bimodule ${}_BN_A$ over $G$-graded…

Let $A$ be an algebra over a commutative ring $k$. It is known that the categories of non-commutative descent data, of comodules over the Sweedler canonical coring, of right $A$-modules with a flat connection are isomorphic as braided…

After recalling the definition of a bicoalgebroid, we define comodules and modules over a bicoalgebroid. We construct the monoidal category of comodules, and define Yetter--Drinfel'd modules over a bicoalgebroid. It is proved that the…

For a commutative noetherian ring A, we compare the support of a complex of A-modules with the support of its cohomology. This leads to a classification of all full subcategories of A-modules which are thick (that is, closed under taking…

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…

An object $P$ in a monoidal category $\mathcal{C}$ is called pivotal if its left dual and right dual objects are isomorphic. Given such an object and a choice of dual $Q$, we construct the category $\mathcal{C}(P,Q)$, of objects which…

Every monoidal functor G: C --> M has a canonical factorization through the category of bimodules over some monoid R in M such that the factor U: C -->_R M_R is strongly unital. Using this result and the characterization of the forgetful…

Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$ and $M$ an $R$-module with Cosupport in $\mathrm{V}(\mathfrak{a})$. We show that $M$ is $\mathfrak{a}$-coartinian if and only if $\mathrm{Ext}_{R}^{i}(R/\mathfrak{a},M)$ is…

For a commutative ring $S$ and self-orthogonal subcategory $\mathsf{C}$ of $\mathsf{Mod}(S)$, we consider matrix factorizations whose modules belong to $\mathsf{C}$. Let $f\in S$ be a regular element. If $f$ is $M$-regular for every $M\in…

Let $A$ be a noetherian ring and $R_A$ be the graded ring $A[X,Y,Z,T]$. In this article we introduce the notion of a triad, which is a generalization to families of curves in ${\bf P}^3_A$ of the notion of Rao module. A triad is a complex…

In this paper we present a unified proof of the fact that the category of modules over a ring and the category of near-vector spaces in the sense of J. Andr\'e, over an appropriate scalar system (a 'scalar group'), are both abelian…

Let H be a quasi-Hopf algebra, a weak Hopf algebra or a braided Hopf algebra. Let B be an H-bicomodule algebra such that there exists a morphism of H-bicomodule algebras v:H\rightarrow B. Then we can define an object B^{co(H)} which is a…

For coalgebras $C$ and $D$, Takeuchi proved that the category of linear functors from $\mathfrak{M}^C$ to $\mathfrak{M}^D$ preserving small coproducts is equivalent to the category of $C$-$D$-bicomodules, where $\mathfrak{M}^C$ for a…

This is a sequel paper of arXiv:1306.1466 in which we study the comodules over a regular weak multiplier bialgebra over a field, with a full comultiplication. Replacing the usual notion of coassociative coaction over a (weak) bialgebra, a…

We call a monoidal category ${\mathcal C}$ a Serre category if for any $C$, $D \in {\mathcal C}$ such that $C\ot D$ is semisimple, $C$ and $D$ are semisimple objects in ${\mathcal C}$. Let $H$ be an involutory Hopf algebra, $M$, $N$ two…

An algebraic category $\mathcal{C}$ is called balanced if the cotriple cohomology of any object of $\mathcal{C}$ vanishes in positive dimensions on injective coefficient modules. Important examples of balanced and of non-balanced categories…

Given an operad A of topological spaces, we consider A-monads in a topological category C . When A is an A-infinity-operad, any A-monad K : C -> C can be thought of as a monad up to coherent homotopies. We define the completion functor with…

A topological commutative ring is said to be rigid when for every set $X$, the topological dual of the $X$-fold topological product of the ring is isomorphic to the free module over $X$. Examples are fields with a ring topology, discrete…

Let $R$ be a commutative ring with unity and $C$ be an $R$-coalgebra. The ring $R$ is clean if every $ r\in R $ is the sum of a unit and an idempotent element of $R$. An $R$-module $M$ is clean if the endomorphism ring of $M$ over $R$ is…

Quantum categories have been recently studied because of their relation to bialgebroids, small categories, and skew monoidales. This is the first of a series of papers based on the author's PhD thesis in which we examine the theory of…