We prove that certain categories arising from atoms in a Grothendieck topos are themselves Grothendieck toposes. We also investigate enrichments of these categories over the base topos; there are in fact often two distinct enrichments.
Theory and Applications of Categories, Vol. 5, 1999, No. 10, pp 251-265 http://www.tac.mta.ca/tac/volumes/1999/n10/n10.dvi http://www.tac.mta.ca/tac/volumes/1999/n10/n10.ps ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1999/n10/n10.dvi ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1999/n10/n10.psTAC Home