Continuous fibrations and inverse limits of toposes
Compositio Mathematica, Tome 58 (1986) no. 1, pp. 45-72. 
@article{CM_1986__58_1_45_0,
     author = {Moerdijk, Ieke},
     title = {Continuous fibrations and inverse limits of toposes},
     journal = {Compositio Mathematica},
     pages = {45--72},
     publisher = {Martinus Nijhoff Publishers},
     volume = {58},
     number = {1},
     year = {1986},
     mrnumber = {834047},
     zbl = {0587.18003},
     language = {en},
     url = {http://archive.numdam.org/item/CM_1986__58_1_45_0/}
}
TY  - JOUR
AU  - Moerdijk, Ieke
TI  - Continuous fibrations and inverse limits of toposes
JO  - Compositio Mathematica
PY  - 1986
SP  - 45
EP  - 72
VL  - 58
IS  - 1
PB  - Martinus Nijhoff Publishers
UR  - http://archive.numdam.org/item/CM_1986__58_1_45_0/
LA  - en
ID  - CM_1986__58_1_45_0
ER  - 
%0 Journal Article
%A Moerdijk, Ieke
%T Continuous fibrations and inverse limits of toposes
%J Compositio Mathematica
%D 1986
%P 45-72
%V 58
%N 1
%I Martinus Nijhoff Publishers
%U http://archive.numdam.org/item/CM_1986__58_1_45_0/
%G en
%F CM_1986__58_1_45_0
Moerdijk, Ieke. Continuous fibrations and inverse limits of toposes. Compositio Mathematica, Tome 58 (1986) no. 1, pp. 45-72. http://archive.numdam.org/item/CM_1986__58_1_45_0/

[1] M. Barr and R. Diaconescu: Atomic toposes. J. Pure and Applied Algebra 17 (1980) 1-24. | MR | Zbl

[2] M. Barr and R. Paré: Molecular toposes. J. Pure and Applied Algebra 17 (1980) 27-152. | MR | Zbl

[3] R. Diaconescu: Grothendieck toposes have boolean points: a new proof. Comm. in Algebra 4 (1976) 723-729. | MR | Zbl

[4] P. Freyd: All topoi are localic, or Why permutation models prevail, unpublished typescript (1979).

[5] A. Grothendieck and J.L. Verdier: Théorie des topos et cohomologie étale des Schémas, SGA 4(2), Exposé VI. Springer Lecture notes 270 (1972). | MR | Zbl

[6] G.F. Van Der Hoeven and I. Moerdijk: On choice sequences determined by spreads. J. of Symbolic Logic 49 (1984) 908-916. | MR | Zbl

[7] A. Joyal and M. Tierney: An extension of the Galois theory of Grothendieck. Memoir Amer. Math. Soc. 309 (1984). | MR | Zbl

[8] P.T. Johnstone: Open maps of toposes. Manuscripta Math. 31 (1980) 217-247. | MR | Zbl

[9] P.T. Johnstone: Factorisation theorems for geometric morphisms, I. Cah. top. et géom. diff. 22 (1981) 3-17. | Numdam | MR | Zbl

[10] I. Moerdijk and G.E. Reyes: Smooth spaces versus continuous spaces in models for SDG. J. Pure and Applied Algebra 32 (1984) 143-176. | MR | Zbl