We generalize a major portion of the classical theory of C- and C*-embedded subspaces to pointfree topology, where the corresponding notions are frame C- and C*-quotients. The central results characterize these quotients and generalize Urysohn's Extension Theorem, among others. The proofs require calculations in CL, the archimedean f-ring of frame maps from the topology of the reals into the frame L. We give a number of applications of the central results.
A locallic version of Hager’s metric-fine spaces is presented. A general definition of -fineness is given and various special cases are considered, notably all metric frames, complete metric frames. Their interactions with each other, quotients, separability, completion and other topological properties are discussed.
A bijective correspondence between strong inclusions and compactifications in the setting of -frames is presented. The category of uniform -frames is defined and a description of the Samuel compactification is given. It is shown that the Samuel compactification of a uniform frame is completely determined by the -frame consisting of its uniform cozero part, and consequently, any compactification of any frame is so determined.
Download Results (CSV)