no. 2
Liftings of Stone's monadicity to spaces and the duality between the calculi of inverse and direct images
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 40 (1999) no. 2, pp. 141-157. 
@article{CTGDC_1999__40_2_141_0,
     author = {Damphousse, Pierre and Guitart, Ren\'e},
     title = {Liftings of {Stone's} monadicity to spaces and the duality between the calculi of inverse and direct images},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {141--157},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {40},
     number = {2},
     year = {1999},
     mrnumber = {1697037},
     zbl = {0931.18004},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_1999__40_2_141_0/}
}
TY  - JOUR
AU  - Damphousse, Pierre
AU  - Guitart, René
TI  - Liftings of Stone's monadicity to spaces and the duality between the calculi of inverse and direct images
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1999
SP  - 141
EP  - 157
VL  - 40
IS  - 2
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1999__40_2_141_0/
LA  - en
ID  - CTGDC_1999__40_2_141_0
ER  - 
%0 Journal Article
%A Damphousse, Pierre
%A Guitart, René
%T Liftings of Stone's monadicity to spaces and the duality between the calculi of inverse and direct images
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1999
%P 141-157
%V 40
%N 2
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1999__40_2_141_0/
%G en
%F CTGDC_1999__40_2_141_0
Damphousse, Pierre; Guitart, René. Liftings of Stone's monadicity to spaces and the duality between the calculi of inverse and direct images. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 40 (1999) no. 2, pp. 141-157. http://archive.numdam.org/item/CTGDC_1999__40_2_141_0/

1 Barr M. Coalgebras in a Category of Algebras, p. 1-12. SLN 86, Category Theory, Homology Theory and their applications I, 1969. | MR | Zbl

2 Damphousse P. and Guitart R. Les representations naturelles de PX dans PPX. Journées C.A.E.N., 27-30 Sept. 1994, pp. 115-120.

3 Guitart R. Topologie dans les univers algébriques. In Nordwestdeutsches Kategorienseminar, pages 59-97, Universität Bremen, Dezember 1976. | MR | Zbl

4 Guitart R. Qu'est-ce que la logique dans une catégorie ? Troisième colloque sur les catégories dédiés à Charles Ehresmann, Amiens Juillet 1980, CTGD XXIII, 1982. | Numdam | MR | Zbl

5 Lawvere F.W. Quantifiers and Sheaves. In Actes du congrès international des mathématiciens, pages 329-334, 1970. | MR | Zbl

6 Mac Lane Saunders. Categories for the Working Mathematician. Springer Verlag, New York Heidelberg Berlin, 1971. | Zbl

7 Stone M. H. The theory of representation for boolean algebras. Trans. Amer. Math. Soc., 40:37-111, 1936. | JFM | MR | Zbl

8 Stone M. H. The Representation Of Boolean Algebras. Bull. Amer. Math. Soc., 44:807-816, 1938. | JFM