There are well-known characterizations of the hereditary quotient maps in the category of topological spaces, (that is, of quotient maps stable under pullback along embeddings), as well as of universal quotient maps (that is, of quotient maps stable under pullback). These are precisely the so-called pseudo-open maps, as shown by Arhangel'skii, and the bi-quotient maps of Michael, as shown by Day and Kelly, respectively. In this paper hereditary and stable quotient maps are characterized in the broader context given by a category equipped with a closure operator. To this end, we derive explicit formulae and conditions for the closure in the codomain of such a quotient map in terms of the closure in its domain.
Theory and Applications of Categories, Vol. 8, 2001, No. 6, pp 100-113 http://www.tac.mta.ca/tac/volumes/8/n6/n6.dvi http://www.tac.mta.ca/tac/volumes/8/n6/n6.ps http://www.tac.mta.ca/tac/volumes/8/n6/n6.pdf ftp://ftp.tac.mta.ca/pub/tac/html/volumes/8/n6/n6.dvi ftp://ftp.tac.mta.ca/pub/tac/html/volumes/8/n6/n6.psTAC Home