Generating sublocales by subsets and relations: a tangle of adjunctions

DOI10.1007/S00012-017-0446-ZzbMATH Open1420.06015OpenAlexW2620082505MaRDI QIDQ2407976FDOQ2407976

Authors: M. Andrew Moshier, Jorge Picado, A. Pultr 

Publication date: 9 October 2017

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1622&context=scs_articles

Recommendations

• Sublocales in formal topology
• On the relation between subspaces and sublocales
• The coframe of \(D\)-sublocales of a locale and the \(T_D\)-duality
• The other closure and complete sublocales
• On joins of complemented sublocales

zbMATH Keywords

saturationframenucleusadjunctionlocalesublocalesublocale latticecozero partsup-latticeframe congruenceframe quotient theorem

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Frames, locales (06D22) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Cites Work

• Title not available (Why is that?)
• Frames and Locales
• An extension of the Galois theory of Grothendieck
• Atomless Parts of Spaces.
• Locales treated mostly in a covariant way
• Title not available (Why is that?)
• Compactification of Frames
• Oz in pointfree topology
• Stone-čech Compactification and Dimension Theory for Regular σ-Frames
• Spaces in Which Special Sets are z-Embedded
• Realcompact spaces and regular σ -frames
• Sublocale sets and sublocale lattices.

Cited In (3)

• The assembly of a pointfree bispace and its two variations
• On the relation between subspaces and sublocales
• The category of finitary biframes as the category of pointfree bispaces

This page was built for publication: Generating sublocales by subsets and relations: a tangle of adjunctions

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