On the largest coreflective Cartesian closed subconstruct of Prtop

DOI10.1007/BF00124115MaRDI QIDQ1364910zbMATH OpenOpenAlexFDO

Authors Eva Colebunders, G. Sonck

Publication date 20 November 1997

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00124115

zbMATH Keywords

cartesian closed categorycoreflective subcategoryexponential objectfinitely generated spacepretopological space

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30)

Review text

Let \(\mathbf{Prtop}\) denote the construct of pretopological spaces and continuous mappings and let \(\mathbf{Fing}\) denote the full subconstruct of \(\mathbf{Prtop}\) consisting of all finitely generated pretopological spaces. \(\mathbf{Fing}\) is the largest Cartesian closed coreflective subconstruct of \(\mathbf{Prtop}\). Let \(\mathbf 3\) be the pretopological space on the set \(\{0,1,2\}\) such that the neighbourhood filters of \(0\) and \(2\) are the ultrafilters and the neighbourhood filter of \(1\) is \(\{\{1,2\},\{0,1,2\}\}\). If a subconstruct \(\mathcal A\) of \(\mathbf{Prtop}\) contains \(\mathbf 3\) then the following are equivalent: \(\mathcal A\) is initially structured; \(\mathcal A\) is coreflective in \(\mathbf{Prtop}\); \(\mathcal A\) is topological. Any exponential object of a coreflective subconstruct \(\mathcal C\) of \(\mathbf{Prtop}\) is finitely generated, if, moreover, \(\mathcal C\) is finitely productive in \(\mathbf{Prtop}\) then an object of \(\mathcal C\) is finitely generated if and only if it is exponential. It is shown that the assumption that \(\mathcal C\) is finitely productive cannot be omitted.

Recommendations

• Exponential objects and Cartesian closedness in the construct \textit{Prtop}
• More on exponential objects in categories of pretopological spaces
• scientific article; zbMATH DE number 1258305
• Products in cartesian closed subcategories of the category of topological spaces

Cited in

(4)

• Exponential objects and Cartesian closedness in the construct \textit{Prtop}
• More on exponential objects in categories of pretopological spaces
• scientific article; zbMATH DE number 19035 (Why is no real title available?)
• scientific article; zbMATH DE number 1123621 (Why is no real title available?)

This page was built for publication: On the largest coreflective Cartesian closed subconstruct of Prtop

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1364910)