Spaced spaces

 Access to full text

 Full (PDF)

1. [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. Zbl0415.03053MR555551
2. [2] R. Godement: Topologie algébrique et théorie des faisceaux, revised edition (Herman, 1964). Zbl0080.16201MR345092
3. [3] J.W. Gray: Sheaes with values in a category, Topology3 (1965) 1-18. Zbl0132.17605MR159328
4. [4] R.J. Grayson: Concepts of general topology in constructive mathematics and in sheaves. Ann. Math. Logic20 (1981) 1-41. Zbl0458.03015MR611393
5. [5] I. Moerdijk: Change of base for topological spaces in sheaves, unpublished master's thesis, University of Amsterdam (fall 1980). 
6. [6] C.J. Mulvey: Intuitionistic algebra and representations of rings. Mem. AMS148 (1974) 3-57. Zbl0274.18012MR398799
7. [7] L.N. Stout: Quels sont les espaces topologique dans les topos? Ann. Sc. Math. Québec2 (1978) 123-141. Zbl0394.18005MR519884
8. [8] G.E. Strecker: An introduction to categorical methods, report 133,Dept. Maths., Free University at Amsterdam (1980). 
9. [9] A.S. Troelstra: Intuitionistic general topology, Ph.D. thesis, University of Amsterdam (1966). MR285356
10. [10] O. Wyler: Top categories and categorical topology. Gen. Top. and Appl.1 (1971) 17-28. Zbl0215.51502MR282324