Variable-basis topological systems versus variable-basis topological spaces (Q989684)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Variable-basis topological systems versus variable-basis topological spaces
scientific article

    Statements

    Variable-basis topological systems versus variable-basis topological spaces (English)
    0 references
    0 references
    23 August 2010
    0 references
    Topological systems were introduced by [\textit{S. Vickers}, Topology via logic. Cambridge Tracts in Theoretical Computer Science, 5. Cambridge etc.: Cambridge University Press. (1989; Zbl 0668.54001)] as a framework in which to treat both point-sensitive spaces (i.e. topological spaces), the respective algebraic structures underlying their topologies (i.e. frames) and the corresponding point-free spaces (i.e. locales). On the other hand, there is the category of variable-basis lattice-valued topological spaces introduced by [\textit{S. E. Rodabaugh}, Categorical foundation of variable-basis fuzzy topology. Mathematics of fuzzy sets. Logic, topology, and measure theory. Dordrecht: Kluwer Academic Publishers. Handb. Fuzzy Sets Ser. 3, 273--388 (1999; Zbl 0968.54003)]. In the present paper, a variable-basis generalization of topological systems over an arbitrary variety of algebras is introduced and the functorial relationships between the categories of variable-basis topological systems and variable-basis lattice-valued topological spaces are investigated. This allows to treat variable-basis lattice-valued topological spaces (in the sense of Rodabaugh) and the respective algebraic structures underlying their topologies in a single framework. Some intrinsic properties (specifically products and coproducts) of the category of variable-basis topological systems are considered.
    0 references
    0 references
    fuzzy space
    0 references
    frame
    0 references
    locale
    0 references
    topological system
    0 references
    variable-basis topological system
    0 references
    lattice-valued topological space
    0 references
    variable-basis lattice-valued topological space
    0 references
    localic algebra
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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