Spaced spaces
Compositio Mathematica, Tome 53 (1984) no. 2, p. 171-209
@article{CM_1984__53_2_171_0,
     author = {Moerdijk, Ieke},
     title = {Spaced spaces},
     journal = {Compositio Mathematica},
     publisher = {Martinus Nijhoff Publishers},
     volume = {53},
     number = {2},
     year = {1984},
     pages = {171-209},
     zbl = {0565.54010},
     mrnumber = {766296},
     language = {en},
     url = {http://http://www.numdam.org/item/CM_1984__53_2_171_0}
}
Moerdijk, I. Spaced spaces. Compositio Mathematica, Tome 53 (1984) no. 2, pp. 171-209. http://www.numdam.org/item/CM_1984__53_2_171_0/

[1] M.P. Fourman and D.S. Scott: Sheaves and logic. In: Applications of Sheaves (eds. M.P. Fourman, C.J. Mulvey and D.S. Scott) (Springer LNM 753, 1979), pp. 302-401. | MR 555551 | Zbl 0415.03053

[2] R. Godement: Topologie algébrique et théorie des faisceaux, revised edition (Herman, 1964). | MR 345092

[3] J.W. Gray: Sheaes with values in a category, Topology 3 (1965) 1-18. | MR 159328 | Zbl 0132.17605

[4] R.J. Grayson: Concepts of general topology in constructive mathematics and in sheaves. Ann. Math. Logic 20 (1981) 1-41. | MR 611393 | Zbl 0458.03015

[5] I. Moerdijk: Change of base for topological spaces in sheaves, unpublished master's thesis, University of Amsterdam (fall 1980).

[6] C.J. Mulvey: Intuitionistic algebra and representations of rings. Mem. AMS 148 (1974) 3-57. | MR 398799 | Zbl 0274.18012

[7] L.N. Stout: Quels sont les espaces topologique dans les topos? Ann. Sc. Math. Québec 2 (1978) 123-141. | MR 519884 | Zbl 0394.18005

[8] G.E. Strecker: An introduction to categorical methods, report 133,Dept. Maths., Free University at Amsterdam (1980).

[9] A.S. Troelstra: Intuitionistic general topology, Ph.D. thesis, University of Amsterdam (1966). | MR 285356

[10] O. Wyler: Top categories and categorical topology. Gen. Top. and Appl. 1 (1971) 17-28. | MR 282324 | Zbl 0215.51502