Abstract
For a concrete, topological category K over a suitable base category, the interrelationship of the concepts in the title is investigated. K is cartesian closed iff regular sinks are finitely productive. K is a quasitopos iff regular sinks are universal. For categories over Set with constant maps, the latter are precisely the topological universes. These can also be described as categories of sieves for Grothendieck topologies.
Preview
Unable to display preview. Download preview PDF.
References
J. Adámek, H. Herrlich and G.E. Strecker, Least and largest initial completions, Comment. Math. Univ. Carolinae 20 (1979), 43–77.
P. Antonine, Etude élémentaire des categories d'ensembles structurés, Bull. Soc. Math. Belgique 18 (1966), 142–164 and 387–414.
E. Binz, Continuous convergence on C(X), Lect. Notes Mathem. 464, Springer-Verlag 1975.
E. Dubuc, Concrete quasitopoi, Lect. Notes Mathem. 753 (1979), 239–254.
A. Frölicher, Smooth structures, Lect. Notes Mathem. 962, Springer-Verlag 1982, 69–81.
H. Herrlich, Categorical topology 1971–1981, Gen. Topol. Rel. Modern Analysis and Algebra V, Heldermann Verlag, Berlin 1982, 279–383.
H. Herrlich, Are there convenient subcategories to Top?, Topol. Applications 15 (1983), 263–271.
H. Herrlich, Universal topology, Categorical Topology Heldermann Verlag, Berlin 1984, 223–281.
H. Herrlich and M. Rajagopalan, The quasicategory of quasispaces is illegitimate, Archiv. Math. 40 (1983), 364–366.
M. Hogbe-Nlend, Bornologies and functional analyses, Mathematics Studies 29, North Holland 1977.
P.T. Johnstone, Topos Theory, L.M.S. Mathematical Monographs 10, Academic Press 1977.
M. Katetov, On continuity structures and spaces of mappings, Comment. Math. Univ. Carolinae 6 (1965), 257–278.
L.D. Nel, Topological universes and smooth Gelfand-Naimark duality, to appear.
J. Penon, Sur les quasi-topos, Cahier Topo. Geom. Diff. 18 (1977), 181–218.
U. Seip, A convenient setting for smooth manifolds, J. Pure Appl. Algebra 21 (1981), 279–305.
O. Wyler, Top categories and categorical topology, Gen. Topol. Applications 1 (1971), 17–28.
O. Wyler, Are there topoi in topology?, Lect. Notes Mathem. 540 (1976), 699–719.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Adámek, J., Herrlich, H. (1986). Cartesian closed categories, quasitopoi and topological universes. In: Melton, A. (eds) Mathematical Foundations of Programming Semantics. MFPS 1985. Lecture Notes in Computer Science, vol 239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16816-8_23
Download citation
DOI: https://doi.org/10.1007/3-540-16816-8_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16816-4
Online ISBN: 978-3-540-44861-7
eBook Packages: Springer Book Archive