We present some new findings concerning branched covers in topos theory. Our discussion involves a particular subtopos of a given topos that can be described as the smallest subtopos closed under small coproducts in the including topos. Our main result is a description of the covers of this subtopos as a category of fractions of branched covers, in the sense of Fox, of the including topos. We also have some new results concerning the general theory of KZ-doctrines, such as the closure under composition of discrete fibrations for a KZ-doctrine, in the sense of Bunge and Funk.
Keywords:
1991 MSC: 18B25.
Theory and Applications of Categories, Vol. 7, 2000, No. 1, pp 1-22.
http://www.tac.mta.ca/tac/volumes/7/n1/n1.dvi
http://www.tac.mta.ca/tac/volumes/7/n1/n1.ps
http://www.tac.mta.ca/tac/volumes/7/n1/n1.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/7/n1/n1.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/7/n1/n1.ps