Idempotent monads and -functors

DOI10.1016/J.JPAA.2010.04.005MaRDI QIDQ712190zbMATH OpenOpenAlexFDO

Authors John Clark, Robert Wisbauer

Publication date 28 October 2010

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0909.3162

Mathematics Subject Classification ID

Module categories in associative algebras (16D90) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Abstract: For an associative ring $R$, let $P$ be an $R$-module with $S=En{d}_R(P)$. C. Menini and A. Orsatti posed the question of when the related functor $Ho{m}_R(P,-)$ (with left adjoint $Po{t}_S-$) induces an equivalence between a subcategory of ${}_{R}M$ closed under factor modules and a subcategory of ${}_{S}M$ closed under submodules. They observed that this is precisely the case if the unit of the adjunction is an epimorphism and the counit is a monomorphism. A module $P$ inducing these properties is called a $star$-module. The purpose of this paper is to consider the corresponding question for a functor $G:BoA$ between arbitrary categories. We call $G$ a {em $star$-functor} if it has a left adjoint $F:AoB$ such that the unit of the adjunction is an {em extremal epimorphism} and the counit is an {em extremal monomorphism}. In this case $(F,G)$ is an idempotent pair of functors and induces an equivalence between the category $A_{GF}$ of modules for the monad $GF$ and the category $B^{FG}$ of comodules for the comonad $FG$. Moreover, $B^{FG}=Fix(FG)$ is closed under factor objects in $B$, $A_{GF}=Fix(GF)$ is closed under subobjects in $A$.

Recommendations

• Equivalenze rappresentabili tra categorie di moduli
• Tilting and torsion theory counter equivalences
• Adjoint functors and equivalences of subcategories
• Equivalences between module subcategories.
• Localizations, colocalizations and non additive -objects

Cites work

• scientific article; zbMATH DE number 4198227 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3665185 (Why is no real title available?)
• scientific article; zbMATH DE number 3494640 (Why is no real title available?)
• scientific article; zbMATH DE number 3638092 (Why is no real title available?)
• scientific article; zbMATH DE number 1217554 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1569165 (Why is no real title available?)
• scientific article; zbMATH DE number 3300467 (Why is no real title available?)
• scientific article; zbMATH DE number 3357641 (Why is no real title available?)
• Adjoint functors and equivalences of subcategories
• Idempotent triples and completion
• Localizations as idempotent approximations to completions
• On Fundamental Constructions and Adjoint Functors
• Representable equivalences between categories of modules and applications
• Some remarks on equivalences between categories of modules
• Tilting in Grothendieck categories
• Tilting modules and ∗-modules

Cited in

(10)

• A functorial approach to monomorphism categories for species I
• Pure-direct-objects in categories: transfer via functors
• A categorical approach to algebras and coalgebras
• Idempotent plethories
• Localizations, colocalizations and non additive -objects
• Semiseparable functors
• On rational pairings of functors
• Sheaf representation of monoidal categories
• Coalgebraic structures in module theory.
• D4-objects in abelian categories: Transfer via functors

This page was built for publication: Idempotent monads and \(\star \)-functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q712190)