Continuous fibrations and inverse limits of toposes

Ieke Moerdijk

Compositio Mathematica (1986)

  • Volume: 58, Issue: 1, page 45-72
  • ISSN: 0010-437X

How to cite

top

Moerdijk, Ieke. "Continuous fibrations and inverse limits of toposes." Compositio Mathematica 58.1 (1986): 45-72. <http://eudml.org/doc/89765>.

@article{Moerdijk1986,
author = {Moerdijk, Ieke},
journal = {Compositio Mathematica},
keywords = {Grothendieck toposes; geometric morphisms; sites; continuous fibrations; inverse system; descent},
language = {eng},
number = {1},
pages = {45-72},
publisher = {Martinus Nijhoff Publishers},
title = {Continuous fibrations and inverse limits of toposes},
url = {http://eudml.org/doc/89765},
volume = {58},
year = {1986},
}

TY - JOUR
AU - Moerdijk, Ieke
TI - Continuous fibrations and inverse limits of toposes
JO - Compositio Mathematica
PY - 1986
PB - Martinus Nijhoff Publishers
VL - 58
IS - 1
SP - 45
EP - 72
LA - eng
KW - Grothendieck toposes; geometric morphisms; sites; continuous fibrations; inverse system; descent
UR - http://eudml.org/doc/89765
ER -

References

top
  1. [1] M. Barr and R. Diaconescu: Atomic toposes. J. Pure and Applied Algebra17 (1980) 1-24. Zbl0429.18006MR560782
  2. [2] M. Barr and R. Paré: Molecular toposes. J. Pure and Applied Algebra17 (1980) 27-152. Zbl0436.18002MR567064
  3. [3] R. Diaconescu: Grothendieck toposes have boolean points: a new proof. Comm. in Algebra4 (1976) 723-729. Zbl0358.18011MR414658
  4. [4] P. Freyd: All topoi are localic, or Why permutation models prevail, unpublished typescript (1979). 
  5. [5] A. Grothendieck and J.L. Verdier: Théorie des topos et cohomologie étale des Schémas, SGA 4(2), Exposé VI. Springer Lecture notes270 (1972). Zbl0237.00012MR463174
  6. [6] G.F. Van Der Hoeven and I. Moerdijk: On choice sequences determined by spreads. J. of Symbolic Logic49 (1984) 908-916. Zbl0587.03044MR758942
  7. [7] A. Joyal and M. Tierney: An extension of the Galois theory of Grothendieck. Memoir Amer. Math. Soc.309 (1984). Zbl0541.18002MR756176
  8. [8] P.T. Johnstone: Open maps of toposes. Manuscripta Math.31 (1980) 217-247. Zbl0433.18002MR576498
  9. [9] P.T. Johnstone: Factorisation theorems for geometric morphisms, I. Cah. top. et géom. diff.22 (1981) 3-17. Zbl0454.18007MR609154
  10. [10] I. Moerdijk and G.E. Reyes: Smooth spaces versus continuous spaces in models for SDG. J. Pure and Applied Algebra32 (1984) 143-176. Zbl0535.18003MR741963

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.