On a problem of Herrlich concerning topological axioms (Q1071105)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On a problem of Herrlich concerning topological axioms
scientific article

    Statements

    On a problem of Herrlich concerning topological axioms (English)
    0 references
    1986
    0 references
    Each topological category is concretely isomorphic to a reflective modification of some functor-structured category \(S(F)\). \textit{H. Herrlich} introduced a notion of topological axioms and proved from the above fact that each topological category is definable by a class \(\Gamma\) of topological axioms in \(S(F)\) [Categorical topology, Proc. int. Conf., Toledo/Ohio 1983, Sigma Ser. Pure Math. 5, 223--281 (1984; Zbl 0548.18004)]. In this paper the author gives a necessary condition in order that a topological category \(\mathcal K\) has a small presentation \(\Gamma\), i.e. \(\mathcal K\) is definable by a set \(\Gamma\) of topological axioms and he answers the question put by Herrlich as follows. The category \(\mathbf{Top}\) of topological spaces has no small presentation in any functor-structured category. He also shows that the above condition is insufficient and hence the problem of a characterization of topological categories having a small presentation is left still open.
    0 references
    topological category
    0 references
    topological axioms
    0 references
    small presentation
    0 references
    functor-structured category
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers