Rigid frame maps and Booleanization. (Q500950)

Given a frame \(L\) and \(a\in L\), the pseudocomplement \(a^*\) of \(a\) is defined to be the largest element in \(L\) that is disjoint from \(a\), that is, \(a^*=\bigvee\{x\in L\mid x\wedge a=0\}\). Two elements \(a\) and \(b\) of a frame are said to be \textit{indistinguishable} if \(a^{**}=b^{**}\). Then, a frame map is \textit{rigid} if every element of the codomain is indistinguishable from some element of the image. In the present paper, the authors consider several notions related to rigidity (such as e.g. skeletal and dense frame homomorphisms), investigate the relationship between them, and study the Booleanization of frames in terms of rigidity. In particular, they show that rigidity is the precise condition that is required by a dense skeletal map to ensure the ontoness of the corresponding Booleanization. Hence in the category of completely regular frames, these maps capture precisely what is needed for a map to be an essential monomorphism. Further, some new concepts on domain preserving, domain reflecting, and strongly skeletal maps are introduced.