Convergence on categories (Q945023)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Convergence on categories
scientific article

    Statements

    Convergence on categories (English)
    0 references
    0 references
    10 September 2008
    0 references
    The usual way to approach topological structures on the objects of a concrete category is via a categorical closure operator [see \textit{D. Dikranjan} and \textit{E. Giuli}, Topology Appl. 27, 129--143 (1987; Zbl 0634.54008)]. This paper puts forward an alternative form of topological structure that is here called a convergence structure. The setting is a finitely complete category with a given \((\mathcal{E},\mathcal{M})\)-factorisation system satisfying some side conditions. After reviewing the closure operator approach in the second section, convergence structures are introduced in section 3. These are based on using certain generalised filters for expressing a nicely behaved notion of convergence. Further sections develop notions of convergence separation and convergence compactness and then a comparison is made with structures available if a closure operator on the category is specified.
    0 references
    concrete category
    0 references
    subobject lattice
    0 references
    filter
    0 references
    raster
    0 references
    convergence structure on a category
    0 references
    closure operator on a category
    0 references
    separation
    0 references
    compactness
    0 references

    Identifiers