The term ``saturated,'' referring to a class of morphisms in a category, is used in the literature for two nonequivalent concepts. We make precise the relationship between these two concepts and show that the class of equivalences associated with any monad is saturated in both senses.
Theory and Applications of Categories, Vol. 7, 2000, No. 4, pp 43-46 http://www.tac.mta.ca/tac/volumes/7/n4/n4.dvi http://www.tac.mta.ca/tac/volumes/7/n4/n4.ps ftp://ftp.tac.mta.ca/pub/tac/html/volumes/7/n4/n4.dvi ftp://ftp.tac.mta.ca/pub/tac/html/volumes/7/n4/n4.psTAC Home