A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure. (Q2449448)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure.
scientific article

    Statements

    A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure. (English)
    0 references
    0 references
    8 May 2014
    0 references
    The author presents the assembly of a frame by generators and relations. The assembly of a frame is the set of its nuclei, that is, the monotone, inflationary, idempotent, and finite-meet-preserving endofunctions. Under pointwise order, they form a frame. He demonstrates that the assembly functor \(N\colon Frm\to Frm\) factors through the category of d-frames (in the sense of Jung and Moshier). For a locale \(X\) with topology \(A\), the intermediate object, termed \(dFilt A\), corresponds to a bitopological space via a concrete Stone duality. The intermediate object gives rise to the assembly of \(A\) via a general patch construction. While the assembly of a locale is by construction zero-dimensional, his presentation contains as additional information the order of specialisation of the original locale. The elements of the original frame play the role of upper opens, while filters of the frame play the role of lower opens.
    0 references
    assembly
    0 references
    congruence lattices
    0 references
    frames
    0 references
    nuclei
    0 references
    ordered locales
    0 references
    d-frames
    0 references
    patch
    0 references
    bitopologies
    0 references
    specialisation order
    0 references

    Identifiers