Idempotent monads and -functors

DOI10.1016/J.JPAA.2010.04.005zbMATH Open1205.18003arXiv0909.3162OpenAlexW2094891490MaRDI QIDQ712190FDOQ712190

Authors: John Clark, Robert Wisbauer 

Publication date: 28 October 2010

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

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$.

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

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 \(\ast\)-objects

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Tilting in Grothendieck categories
• Title not available (Why is that?)
• Tilting modules and ∗-modules
• Title not available (Why is that?)
• Adjoint functors and equivalences of subcategories
• Some remarks on equivalences between categories of modules
• Representable equivalences between categories of modules and applications
• Title not available (Why is that?)
• Idempotent triples and completion
• Localizations as idempotent approximations to completions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Fundamental Constructions and Adjoint Functors
• Title not available (Why is that?)
• Title not available (Why is that?)

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
• Semiseparable functors
• Localizations, colocalizations and non additive \(\ast\)-objects
• On rational pairings of functors
• Coalgebraic structures in module theory.
• Sheaf representation of monoidal categories
• 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)