Abstract
We give an internal characterization of the exponential objects in the constructPrtop and investigate Cartesian closedness for coreflective or topological full subconstructs ofPrtop. If $ is the set {0} ∪ {1/n;n ≥ 1} endowed with the topology induced by the real line, we show that there is no full coreflective subconstruct ofPrtop containing $ and which is Cartesian closed. With regard to topological full subconstructs ofPrtop we give an example of a Cartesian closed one that is large enough to contain all topological Fréchet spaces and allT 1 pretopological Fréchet spaces.
Similar content being viewed by others
References
J. Adámek, H. Herrlich, and G.E. Strecker:Abstract and Concrete Categories, John Wiley (1990).
P. Antosik: On a topology of convergence,Colloq. Math. 21 (1970), 205–209.
G. Choquet: Convergences,Ann. Univ. Grenoble Sect. Sci. Math. Phys. 23 (1948), 57–112.
B.J. Day and G.M. Kelly: On topological quotient maps preserved by pullbacks or products,Proc. Camb. Phil. Soc. 67 (1970), 553–558.
R. Frič and V. Koutník: Sequential convergence: iteration, extension, completion, enlargement, inRecent Progress in General Topology (1992), 201–213.
R. Frič and V. Koutník: Sequential structures,Abh. Akad. Wiss. DDR 4 (1980), 37–56.
H. Herrlich: Cartesian closed topological categories,Math. Colloq. Univ. Cape Town 9 (1974), 1–16.
H. Herrlich: Are there convenient subcategories of TOP?Topology Appl. 15 (1983), 263–271.
H. Herrlich, E. Lowen-Colebunders, and F. Schwarz:Improving TOP: PRTOP and PSTOP, pp. 21–34, Category Theory at Work, Heldermann Verlag (1991).
H. Herrlich and L.D. Nel: Cartesian closed topological hulls,Proc. Amer. Math. Soc. 62 (1977), 215–222.
K.H. Hofmann and J.D. Lawson: The spectral theory of distributive lattices,Trans. Amer. Math. Soc. 246 (1978), 285–310.
D.C. Kent: Decisive convergence spaces, Fréchet spaces and sequential spaces,The Rocky Mountain J. of Math. 1 (1971), 367–374.
V. Koutník: Many-valued convergence groups,Polska Adad. Nauk (1980), 71–75.
L.D. Nel: Cartesian closed coreflective hulls,Quaestiones Math. 2 (1977), 269–383.
F. Schwarz: Cartesian closedness, exponentiality and final hulls in pseudotopological spaces,Quaestiones Math. 5 (1982), 289–304.
F. Schwarz: Powers and exponential objects in initially structured categories and applications to categories of limit spaces,Quaestiones Math. 6 (1983), 227–254.
O. Wyler:Function Spaces in Topological Categories, volume 719 ofLecture Notes in Math. (1979), 411–420.
Author information
Authors and Affiliations
Additional information
Aspirant NFWO
Rights and permissions
About this article
Cite this article
Lowen-Colebunders, E., Sonck, G. Exponential objects and Cartesian closedness in the constructPrtop . Appl Categor Struct 1, 345–360 (1993). https://doi.org/10.1007/BF00872940
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00872940