Abstract
In 1970, Day and Kelly characterized exponential spaces by a condition (C). Eight years later, Hofmann and Lawson pointed out that this is equivalent to quasi-local compactness, i.e. every neighborhood V of a point contains a smaller one W such that any open cover of V admits a finite subcover of W. These characterizations work with topologies on topologies and may be felt to be not really elementary. This note instead offers an elementary approach which applies to quotient-reflective subcategories as well and includes a natural generalization of the compact-open topology on function spaces.
Similar content being viewed by others
References
Adámek, J., Herrlich, H. and Strecker, G. E.: Abstract and Concrete Categories, Wiley, 1990.
Cagliari, F.: Cartesian objects and exponential morphisms in topology, Rend. Circ. Mat. Palermo (2) Suppl. 29 (1992), 25–40.
Cagliari, F. and Mantovani, S.: Preservation of topological properties under exponentiation, Topology Appl. 47 (1992), 149–159.
Day, B. J. and Kelly, G. M.: On topological quotient maps preserved by pullbacks or products, Proc. Cambridge Philos. Soc. 67 (1970), 553–558.
Dugundji, J.: Topology, Allyn and Bacon, Boston, 1970.
Dyckhoff, R. and Tholen, W.: Exponentiable morphisms, partial products and pullback complements, J. Pure Appl. Algebra 49 (1987), 103–116.
Fox, R. H.: On topologies for function spaces, Bull. Amer. Math. Soc. 51 (1943), 429–432.
Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. and Scott, D. S.: A Compendium of Continuous Lattices, Springer, Berlin, 1980.
Herrlich, H.: Topologische Reflexionen und Coreflexionen, Lecture Notes in Math. 78, Springer, Berlin, 1968.
Herrlich, H.: Cartesian closed topological categories, Math. Colloq. Univ. Cape Town 9 (1974), 1–16.
Herrlich, H.: Topologie I: Topologische Räume, Heldermann, Berlin, 1986.
Herrlich, H. and Strecker, G. E.: Category Theory, 2nd rev. edn, Heldermann, Berlin, 1979.
Hofmann, K. H. and Lawson, J. D.: The spectral theory of distributive continuous lattices, Trans. Amer. Math. Soc. 246 (1978), 285–310.
Isbell, J.: General function spaces, products and continuous lattices, Math. Proc. Cambridge Philos. Soc. 100 (1986), 193–205.
Marny, Th.: On epireflective subcategories of topological categories, Gen. Topology Appl. 10 (1979), 175–181.
Niefield, S. B.: Cartesianness: Topological spaces, uniform spaces and affine schemes, J. Pure Appl. Algebra 23 (1982), 147–167.
Schwarz, F.: Exponential objects in categories of (pre)topological spaces and their natural function spaces, C.R. Math. Rep. Acad. Sci. Canada 4 (No. 6) (1982), 321–326.
Ward, A. S.: Problem, in Proc. Int. Symposium Topology and its Appl., Herceg-Novi 1968, Beograd, 1969, p. 352.
Weck-Schwarz, S.: Cartesian closed topological and monotopological hulls: a comparison, Topology Appl. 38 (1991), 263–274.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lowen-Colebunders, E., Richter, G. An Elementary Approach to Exponential Spaces. Applied Categorical Structures 9, 303–310 (2001). https://doi.org/10.1023/A:1011268007097
Issue Date:
DOI: https://doi.org/10.1023/A:1011268007097