Using the reflection of the category C of compact 0-dimensional topological spaces into the category of Stone spaces we introduce a concept of a fibration in C. We show that: (i) effective descent morphisms in C are the same as the surjective fibrations; (ii) effective descent morphisms in C with respect to the fibrations are all surjections.
Keywords: comma categories, effective descent, effective F-descent
2000 MSC: 18B30, 18A25, 18A20
Theory and Applications of Categories,
Vol. 21, 2008,
No. 10, pp 182-190.
http://www.tac.mta.ca/tac/volumes/21/10/21-10.dvi
http://www.tac.mta.ca/tac/volumes/21/10/21-10.ps
http://www.tac.mta.ca/tac/volumes/21/10/21-10.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/21/10/21-10.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/21/10/21-10.ps