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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references