[1] |
Banaschewski, B., The duality of distributive continuous lattices, Canad. J. Math., 32, 385-394 (1980) · Zbl 0434.06011 |
[2] |
Day, B. J.; Kelly, G. M., On topological quotient maps preserved by pullbacks or products, Proc. Camb. Philos. Soc., 67, 553-558 (1970) · Zbl 0191.20801 |
[3] |
Deleanu, A.; Hilton, P. J., Borsuk shape and a generalization of Grothendieck’s definition of procategory, Math. Proc. Camb. Philos. Soc., 79, 473-482 (1976) · Zbl 0327.18004 |
[4] |
Diaconescu, R., Change of base for toposes with generators, J. Pure Applied Algebra, 6, 191-218 (1975) · Zbl 0353.18002 |
[5] |
Edwards, K. R., Relative finiteness and the preservation of filtered colimits, (Ph.D. thesis (1980), University of Chicago) |
[6] |
Fox, R. H., On topologies for function spaces, Bull. Amer. Math. Soc., 51, 429-432 (1945) · Zbl 0060.41202 |
[7] |
Gabriel, P.; Ulmer, F., Lokal präsentierbare Kategorien, (Lecture Notes in Math. No. 221 (1971), Springer: Springer Berlin-New York) · Zbl 0225.18004 |
[8] |
Gierz, G.; Hofmann, K. H.; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S., A Compendium of Continuous Lattices (1980), Springer: Springer Berlin-New York · Zbl 0452.06001 |
[9] |
Gray, J. W., Fragments of the history of sheaf theory, (Applications of Sheaves. Applications of Sheaves, Lecture Notes in Math. No. 753 (1979), Springer: Springer Berlin-New York), 1-79 · Zbl 0436.55002 |
[10] |
Grothendieck, A., Techniques de déscente et théorèmes d’existence en géométrie algébrique, II: le théorème d’existence en théorie formelle des modules, Séminaire Bourbaki (1960), exposé 195 · Zbl 0234.14007 |
[11] |
Grothendieck, A., Revêtements étales et groupe fondamental (SGA 1), (Lecture Notes in Math. No. 224 (1971), Springer: Springer Berlin-New York) · Zbl 1039.14001 |
[12] |
Grothendieck, A.; Verdier, J. L., Théorie des topos (SGA 4, tome 1), (Lecture Notes in Math. No. 269 (1972), Springer: Springer Berlin-New York) · Zbl 0256.18008 |
[13] |
Hochster, M., Prime ideal structure in commutative rings, Trans. Amer. Math. Soc., 142, 43-60 (1969) · Zbl 0184.29401 |
[14] |
Hoffmann, R.-E., Projective sober spaces, (Continuous Lattices. Continuous Lattices, Lecture Notes in Math. No. 871 (1981), Springer: Springer Berlin-New York), 125-158 · Zbl 0486.54025 |
[15] |
Hofmann, K. H.; Lawson, J. D., The spectral theory of distributive continuous lattices, Trans. Amer. Math. Soc., 246, 285-310 (1978) · Zbl 0402.54043 |
[16] |
Hofmann, K. H.; Stralka, A. R., The algebraic theory of Lawson semilattices, Diss. Math., 137, 1-54 (1976) · Zbl 0359.06016 |
[17] |
Hyland, J. M.E., Function spaces in the category of locales, (Continuous Lattices. Continuous Lattices, Lecture Notes in Math. No. 871 (1981), Springer: Springer Berlin-New York), 264-281 · Zbl 0483.54005 |
[18] |
Isbell, J. R., Atomless parts of spaces, Math. Scand., 31, 5-32 (1972) · Zbl 0246.54028 |
[19] |
Isbell, J. R., Function spaces and adjoints, Math. Scand., 36, 317-339 (1975) · Zbl 0309.54016 |
[20] |
Johnstone, P. T., Topos Theory, (L.M.S. Mathematical Monographs No. 10 (1977), Academic Press: Academic Press New York) · Zbl 0368.18001 |
[21] |
Johnstone, P. T., Injective toposes, (Continuous Lattices. Continuous Lattices, Lecture Notes in Math. No. 871 (1981), Springer: Springer Berlin-New York), 284-297 · Zbl 0469.18003 |
[22] |
Johnstone, P. T., Factorization and pullback theorems for localic geometric morphisms, (Sém. de math. pure. Sém. de math. pure, Rapport No. 79 (1979), Univ. Cath. de Louvain) · Zbl 0454.18007 |
[23] |
Johnstone, P. T., The Gleason cover of a topos, II, J. Pure Appl. Algebra, 22, 229-247 (1981) · Zbl 0445.18005 |
[24] |
Johnstone, P. T.; Wraith, G. C., Algebraic theories in toposes, (Indexed Categories and Their Applications. Indexed Categories and Their Applications, Lecture Notes in Math. No. 661 (1978), Springer: Springer Berlin-New York), 141-242 · Zbl 0392.18006 |
[25] |
A. Joyal and M. Tierney, An extension of the Galois theory of Grothendieck, to appear.; A. Joyal and M. Tierney, An extension of the Galois theory of Grothendieck, to appear. · Zbl 0541.18002 |
[26] |
MacLane, S., Categories for the Working Mathematician, (Graduate Texts in Math. No. 5 (1971), Springer: Springer Berlin-New York) · Zbl 0705.18001 |
[27] |
Makkai, M.; Reyes, G. E., First-Order Categorical Logic, (Lecture Notes in Math. No. 611 (1977), Springer: Springer Berlin-New York) · Zbl 0830.03036 |
[28] |
Markowsky, G., A motivation and generalization of Scott’s notion of a continuous lattice, (Continuous lattices. Continuous lattices, Lecture Notes in Math. No. 871 (1981), Springer: Springer Berlin-New York), 298-307 · Zbl 0472.06008 |
[29] |
Niefield, S. B., Cartesianness: topological spaces, uniform spaces, and affine schemes, J. Pure Appl. Algebra, 23, 147-167 (1982) · Zbl 0475.18011 |
[30] |
Niefield, S. B., Cartesian inclusions: locales and toposes, Commun. Algebra, 16, 1639-1671 (1981) · Zbl 0497.18009 |
[31] |
Paré, R.; Schumacher, D., Abstract families and the adjoint functor theorems, (Indexed Categories and Their Applications. Indexed Categories and Their Applications, Lecture Notes in Math. No. 661 (1978), Springer: Springer Berlin-New York), 1-125 · Zbl 0389.18002 |
[32] |
Penon, J., Catégories localement internes, C.R. Acad. Sci. Paris, 278, A1577-1580 (1974) · Zbl 0344.18001 |
[33] |
Scott, D. S., Continuous lattices, (Toposes, Algebraic Geometry and Logic. Toposes, Algebraic Geometry and Logic, Lecture Notes in Math. No. 274 (1972), Springer: Springer Berlin-New York), 97-136 · Zbl 0239.54006 |
[34] |
Steen, L. A.; Seebach, J. A., Counterexamples in Topology (1978), Springer: Springer Berlin-New York · Zbl 0211.54401 |
[35] |
Tierney, M., Forcing topologies and classifying topoi, (Algebra, Topology and Category Theory: a collection of papers in honor of Samuel Eilenberg (1976), Academic Press: Academic Press New York), 211-219 · Zbl 0356.18012 |
[36] |
Wraith, G. C., Artin glueing, J. Pure Appl. Algebra, 4, 345-348 (1974) · Zbl 0282.18011 |