Abstract
We show that the subconstruct Fing of Prtop, consisting of all finitely generated pretopological spaces, is the largest Cartesian closed coreflective subconstruct of Prtop. This implies that in any coreflective subconstruct of Prtop, exponential objects are finitely generated. Moreover, in any finitely productive, coreflective subconstruct, exponential objects are precisely those objects of the subconstruct that are finitely generated. We give a counterexample showing that without finite productivity the previous result does not hold.
Similar content being viewed by others
References
Adámek, J., Herrlich, H., and Strecker, G.E.: Abstract and Concrete Categories, Wiley, New York, 1990.
Arens, R. F.: A topology for spaces of transformations, Ann. Math. 47 (1946), 480–495.
Cincura, J.: Cartesian closed coreflective subcategories of the category of topological spaces, Topology Appl. 41 (1991), 205–212.
Cincura, J.: Products in Cartesian closed coreflective subcategories of the category of topological spaces, Preprint, 1992.
Day, B. J. and Kelly, G. M.: On topological quotient maps preserved by pullbacks or products, Proc. Camb. Phil. Soc. 67 (1970), 553–558.
Dikranjan, D. and Tholen, W.: Categorical structure of closure operators, Preprint, 1993.
Frič, R. and Koutník, V.: Sequential convergence: iteration, extension, completion, enlargement, in Recent Progress in General Topology, Elsevier Science Publishers, 1992, pp. 201–213.
Herrlich, H.: Topologische Reflexionen und Coreflexionen, Springer Lect. Notes Math. 78, 1968.
Herrlich, H.: Are there convenient subcategories of TOP?, Topology Appl. 15 (1983), 263–271.
Herrlich, H. and Hu\~sek, M.: Categorical topology, in Recent Progress in General Topology, Elsevier Science Publishers, 1992, pp 369–403.
Herrlich, H. and Hu\~sek, M.: Some open categorical problems in TOP, Appl. Cat. Struct. 1 (1993), 1–19.
Kent, D. C.: Decisive convergence spaces, Fréchet spaces and sequential spaces, Rocky Mountain J. Math. 1(2) (1971), 367–374.
Lowen-Colebunders, E. and Sonck, G.: Exponential objects and cartesian closedness in the construct Prtop, Appl. Cat. Struct. 1 (1993), 345–360.
Müller, H.: Uber die Vertauschbarkeit von Reflexionen und Coreflexionen, Unpublished Manuscript, Bielefeld, 1974.
Nel, L. D.: Initially structured categories and Cartesian closedness, Canadian J. Math. 27 (1975), 1361–1377.
Nel, L. D.: Cartesian closed coreflective hulls, Quaestiones Math. 2 (1977), 269–333.
Preuss, G.: Theory of Topological Structures, Reidel, Dordrecht, 1988.
Schwarz, F.: Cartesian closedness, exponentiality and final hulls in pseudotopological spaces, Quaestiones Math. 5 (1982), 289–304.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lowen-Colebunders, E., Sonck, G. On the largest coreflective Cartesian closed subconstruct of Prtop . Appl Categor Struct 4, 69–79 (1996). https://doi.org/10.1007/BF00124115
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00124115