Let ${L\dashv R:\cal X \rightarrow\cal Y}$ be an adjunction with $R$ monadic and $L$ comonadic. Denote the induced monad on $\cal Y$ by $M$ and the induced comonad on $\calX$ by $C$. We characterize those $C$ such that $M$ satisfies the Explicit Basis property. We also discuss some new examples and results motivated by this characterization.
Keywords: (co)monads, projective objects, descent, modular categories, Peano algebras
2010 MSC: 18C20, 18E05, 08B20, 08B30
Theory and Applications of Categories, Vol. 26, 2012, No. 22, pp 554-581.
Published 2012-10-18.
http://www.tac.mta.ca/tac/volumes/26/22/26-22.dvi
http://www.tac.mta.ca/tac/volumes/26/22/26-22.ps
http://www.tac.mta.ca/tac/volumes/26/22/26-22.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/26/22/26-22.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/26/22/26-22.ps