×
Johnstone, Peter; Joyal, Andre

Continuous categories and exponentiable toposes. (English) Zbl 0487.18003

J. Pure Appl. Algebra 25, 255-296 (1982).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0487.18003

Cited in 4 Reviews
Cited in 35 Documents

MSC:

18B25 Topoi
18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
06A06 Partial orders, general

Keywords:

exponentiable spaces; bounded toposes; injective toposes; continuous categories; continuous lattices; flat functors; left functors; locally finitely presentable categories; topos of sheaves

Citations:

Zbl 0191.208; Zbl 0239.54006; Zbl 0469.18003; Zbl 0472.06008; Zbl 0359.06016; Zbl 0234.14007; Zbl 0225.18004; Zbl 0483.54005
Cite Review PDF
Full Text: DOI

References:

[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
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.