no. 2
Spaced spaces
Compositio Mathematica, Tome 53 (1984) no. 2, pp. 171-209. 
@article{CM_1984__53_2_171_0,
     author = {Moerdijk, I.},
     title = {Spaced spaces},
     journal = {Compositio Mathematica},
     pages = {171--209},
     publisher = {Martinus Nijhoff Publishers},
     volume = {53},
     number = {2},
     year = {1984},
     mrnumber = {766296},
     zbl = {0565.54010},
     language = {en},
     url = {http://archive.numdam.org/item/CM_1984__53_2_171_0/}
}
TY  - JOUR
AU  - Moerdijk, I.
TI  - Spaced spaces
JO  - Compositio Mathematica
PY  - 1984
SP  - 171
EP  - 209
VL  - 53
IS  - 2
PB  - Martinus Nijhoff Publishers
UR  - http://archive.numdam.org/item/CM_1984__53_2_171_0/
LA  - en
ID  - CM_1984__53_2_171_0
ER  - 
%0 Journal Article
%A Moerdijk, I.
%T Spaced spaces
%J Compositio Mathematica
%D 1984
%P 171-209
%V 53
%N 2
%I Martinus Nijhoff Publishers
%U http://archive.numdam.org/item/CM_1984__53_2_171_0/
%G en
%F CM_1984__53_2_171_0
Moerdijk, I. Spaced spaces. Compositio Mathematica, Tome 53 (1984) no. 2, pp. 171-209. http://archive.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 | Zbl

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

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

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

[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 | Zbl

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

[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

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