Rigid frame maps and Booleanization.

DOI10.1016/J.TOPOL.2015.08.021MaRDI QIDQ500950zbMATH OpenOpenAlexFDO

Authors Yong-Cai Geng, Sumit K. Garg

Publication date 8 October 2015

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2015.08.021

zbMATH Keywords

Booleanizationscompletely regular framesdense frame homomorphismsdomain elementsrigidityskeletal frame homomorphisms

Mathematics Subject Classification ID

Frames, locales (06D22) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35)

Review text

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.

Recommendations

• Rigid extensions of algebraic frames
• Boolean Algebras and Stone Maps in Schröder Categories
• Adjointness aspects of the down-set functor
• scientific article; zbMATH DE number 888833
• Maps and monads for modal frames

Cites work

• Atomless Parts of Spaces.
• Complemented lattice-ordered groups
• Essential completeness in categories of completely regular frames.
• Extensions of commutative rings
• Frames and Locales
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 896401 (Why is no real title available?)
• scientific article; zbMATH DE number 3324444 (Why is no real title available?)
• Minimal projective extensions of compact spaces
• Patch-generated frames and projectable hulls
• Rigid extensions of algebraic frames
• Variants of openness

Cited in

(3)

• Left adjoint for Booleanization
• scientific article; zbMATH DE number 877756 (Why is no real title available?)
• Adjointness aspects of the down-set functor

This page was built for publication: Rigid frame maps and Booleanization.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q500950)