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
zero-dimensional spacelocalenucleusframeHeyting algebrasublocalepoint-free topologysubframeframe homomorphismimplicative semilatticeresiduated mapadjoint pair of mapslocalic homomorphismquasi-open map
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)
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