Descent for compact 0-dimensional spaces

George Janelidze and Manuela Sobral

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.

TAC Home