Adjoint maps between implicative semilattices and continuity of localic maps

DOI10.1007/s00012-022-00767-4zbMath1495.06004OpenAlexW4221111479WikidataQ114232171 ScholiaQ114232171MaRDI QIDQ2120440

Marcel Erné, Jorge Picado, Ales Pultr

Publication date: 31 March 2022

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

Full work available at URL: https://doi.org/10.1007/s00012-022-00767-4

zbMATH Keywords

zero-dimensional spacelocalenucleusframeHeyting algebrasublocalepoint-free topologysubframeframe homomorphismimplicative semilatticeresiduated mapadjoint pair of mapslocalic homomorphismquasi-open map

Mathematics Subject Classification ID

Continuous maps (54C05) Heyting algebras (lattice-theoretic aspects) (06D20) Frames, locales (06D22) Preorders, orders, domains and lattices (viewed as categories) (18B35) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Frames and locales, pointfree topology, Stone duality (18F70)

Related Items (2)

Nuclear ranges in implicative semilattices ⋮ Notes on Point-Free Topology

Cites Work

• On closure operators
• Modal operators on Heyting algebras
• General Stone duality.
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• On equalizers in the category of locales
• An algebraic approach to subframe logics. Intuitionistic case
• Complemented sublocales and open maps
• Frames and Locales
• An extension of the Galois theory of Grothendieck
• Modal extensions of Heyting algebras
• Brouwerian Semilattices
• The point of pointless topology
• The lattice theoretic part of topological separation properties
• Continuous Lattices and Domains
• Implicative Semi-Lattices
• Ideals in Heyting Semilattices and Open Homomorphisms
• Quotient Frames and Subspaces
• On a Reflective Subcategory of the Category of all Topological Spaces
• Atomless Parts of Spaces.
• Relative annihilators in semilattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Adjoint maps between implicative semilattices and continuity of localic maps