no. 3
Cartesian spaces over T and locales over Ω(T)
Cahiers de topologie et géométrie différentielle, Tome 23 (1982) no. 3, pp. 257-267. 
@article{CTGDC_1982__23_3_257_0,
     author = {Niefield, S. B.},
     title = {Cartesian spaces over $T$ and locales over $\Omega (T)$},
     journal = {Cahiers de topologie et g\'eom\'etrie diff\'erentielle},
     pages = {257--267},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {23},
     number = {3},
     year = {1982},
     zbl = {0492.18005},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1982__23_3_257_0/}
}
TY  - JOUR
AU  - Niefield, S. B.
TI  - Cartesian spaces over $T$ and locales over $\Omega (T)$
JO  - Cahiers de topologie et géométrie différentielle
PY  - 1982
SP  - 257
EP  - 267
VL  - 23
IS  - 3
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1982__23_3_257_0/
LA  - en
ID  - CTGDC_1982__23_3_257_0
ER  - 
%0 Journal Article
%A Niefield, S. B.
%T Cartesian spaces over $T$ and locales over $\Omega (T)$
%J Cahiers de topologie et géométrie différentielle
%D 1982
%P 257-267
%V 23
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1982__23_3_257_0/
%G en
%F CTGDC_1982__23_3_257_0
Niefield, S. B. Cartesian spaces over $T$ and locales over $\Omega (T)$. Cahiers de topologie et géométrie différentielle, Tome 23 (1982) no. 3, pp. 257-267. http://www.numdam.org/item/CTGDC_1982__23_3_257_0/

1 J. B Enabou, Treillis locaux et p aratopologie, Cahiers Topo. et Géom. Diff. I (1957/ 58), Exposé 2. | Numdam | Zbl

2 B.J. Day& G.M. Kelly, On topological quotients preserved by pullbacks and products, Proc. Cambridge Phil. Soc. 67 (1970), 553- 558. | MR | Zbl

3 C.H. Docker & D. Papert, Quotient frames and subspaces, Proc. London Math. Soc. 16 (1966), 275 - 296. | MR | Zbl

4 M.P. Fourman & D.S. Scott, Sheaves and logic, Lecture Notes in Math. 753(1979), 302-401. | MR | Zbl

5 P. Freyd, Abelian categories, Harper & Row, New York 1964. | MR | Zbl

6 P. Freyd, Aspects of topoi, Bull. Austral. Math. Soc. 7 (1972), 1-76. | MR | Zbl

7 G. Gierz & al, A compendium of continuous lattices, Springer, 1980. | MR | Zbl

8 K.H. Hoffmann & J.D. Lawson, The spectral theory of distributive continuous lattices, Trans. A. M. S. 246 (1978), 285 - 310. | MR | Zbl

9 J.M.E. Hyland, Function spaces in the category of locales, Continuous lattices, Lecture Notes in Math. 871, Springer (1981), 264-281. | Zbl

10 J.R. Isbell, Function spaces and adjoints, Math. Scand. 36 (1975), 317- 339. | MR | Zbl

11 J.R. Isbell, Atomless parts of spaces, Math. Scand. 31 (1972), 5 - 32. | MR | Zbl

12 P.T. Johnstone, Topos Theory, L.M.S. Math. Mono. 0, Acad. Press 1977. | MR | Zbl

13 P.T. Johnstone, Tychonoff's Theorem without the axiom of choice, Fund. Math. | Zbl

14 P.T. Johnstone, Factorization and pullback theorems for localic geometric morphisms, Inst. Math. Pures Univ. Cath. Louvain, Rapport 79 (1979).

15 P.T. Johnstone, The Gleason cover of a topos, II, J. Pure and Appl. Alg. to appear. | MR | Zbl

16 C.J. Mikkelsen, Lattice-theoretic and logical aspects of elementary topoi, Aarhus Univ. Various Publ. Series 25(1976). | MR | Zbl

17 S.B. Niefield, Cartesianness: topological spaces, uniform spaces and affine scheme s, J. Pure and A ppl. Alg. 23 (1982), 147-167. | MR | Zbl

18 S.B. Niefield, Cartesian inclusions: locales and toposes, Comm. in Alg. 9 (16) (1981), 1639-1671. | MR | Zbl

19 D.S. Scott, Continuous lattices, Lecture Notes in Math. 274, Springer (1972) 97-137. | MR | Zbl

20 H. Simmons, A framework for topology, Proc. Wroclaw logic Conference 1977 North-Holland (to appe ar) . | MR | Zbl