More on exponential objects in categories of pretopological spaces (Q1372680)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | More on exponential objects in categories of pretopological spaces |
scientific article |
Statements
More on exponential objects in categories of pretopological spaces (English)
0 references
17 March 1998
0 references
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.
0 references
pretopological space
0 references
epireflective category
0 references
exponential object
0 references
cartesian closed category
0 references
separation axiom
0 references