More on exponential objects in categories of pretopological spaces

DOI10.1023/A:1008637703914MaRDI QIDQ1372680zbMATH OpenOpenAlexFDO

Authors Günther Richter

Publication date 17 March 1998

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

Full work available at URL https://doi.org/10.1023/a:1008637703914

zbMATH Keywords

cartesian closed categoryepireflective categoryexponential objectpretopological spaceseparation axiom

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)

Review text

Let \({\mathcal P}rtop\) be the category of pretopological spaces and continuous mappings. It is shown that an object of an epireflective subcategory \(\mathcal C\) of \({\mathcal P}rtop\) is exponential just when it is finitely generated in \(\mathcal C\). An analogous result of Lowen-Colebunders and Sonck for coreflective subcategories of \({\mathcal P}rtop\) is discussed. Further, it is proved that any finitely productive topological subconstruct of \({\mathcal P}rtop\) containing some not finitely generated net space is not cartesian closed.

Recommendations

• Exponential objects and Cartesian closedness in the construct \textit{Prtop}
• On the largest coreflective Cartesian closed subconstruct of Prtop
• Exponential objects in coreflective or quotient reflective subconstructs: A comparison
• scientific article; zbMATH DE number 1123621

Cited in

(9)

• Exponential objects and Cartesian closedness in the construct \textit{Prtop}
• A conglomerate of exponential supercategories of the category of finitely generated topological spaces
• On the largest coreflective Cartesian closed subconstruct of Prtop
• Exponential objects in coreflective or quotient reflective subconstructs: A comparison
• Exponentiable streams and prestreams
• Exponentiation for unitary structures
• scientific article; zbMATH DE number 3880912 (Why is no real title available?)
• scientific article; zbMATH DE number 1123621 (Why is no real title available?)
• A McCord-type theorem for pseudotopological spaces and directed graphs

This page was built for publication: More on exponential objects in categories of pretopological spaces

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