Separating families of locale maps and localic embeddings

DOI10.1007/s00012-012-0177-0zbMath1259.06011OpenAlexW1980705105WikidataQ58547785 ScholiaQ58547785MaRDI QIDQ412005

Tomasz Kubiak, Javier Gutiérrez García, Luis Español

Publication date: 3 May 2012

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

Full work available at URL: https://doi.org/10.1007/s00012-012-0177-0

zbMATH Keywords

embedding theoremsaxiom of choicepoint-free topologyseparating family of locale maps

Mathematics Subject Classification ID

Frames, locales (06D22) Embedding (54C25) Axiom of choice and related propositions (03E25)

Related Items (9)

Topological calculus for separating points from closed sets by maps ⋮ Covering dimension and universality property on frames ⋮ Small inductive dimension and universality on frames ⋮ Hedgehog frames and a cardinal extension of normality ⋮ On some parallelism between complete regularity and zero-dimensionality ⋮ Universality on frames ⋮ Universality property and dimension for frames ⋮ Dimension and universality on frames. ⋮ On the Cantor and Hilbert cube frames and the Alexandroff-Hausdorff theorem

Cites Work

• Pointfree forms of Dowker's and Michael's insertion theorems
• Sheaves in geometry and logic: a first introduction to topos theory
• On \(L\)-Tychonoff spaces
• An extension of the Galois theory of Grothendieck
• The point of pointless topology
• Atomless Parts of Spaces.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Separating families of locale maps and localic embeddings