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

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.