Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

On equalizers in the category of locales

From MaRDI portal
Publication:2040885
Jump to:navigation, search

DOI10.1007/s10485-020-09616-8zbMath1467.18023OpenAlexW3102916369MaRDI QIDQ2040885

Jorge Picado, Ales Pultr

Publication date: 14 July 2021

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-020-09616-8


zbMATH Keywords

localeframesublocaleequalizerlocalic mapdiagonal mapbinary product of localesimage and preimageopen diagonalstrongly Hausdorff locale


Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Topoi (18B25) Categorical methods in general topology (54B30) Frames, locales (06D22) Frames and locales, pointfree topology, Stone duality (18F70)


Related Items

Adjoint maps between implicative semilattices and continuity of localic maps ⋮ A new diagonal separation and its relations with the Hausdorff property ⋮ On the categorical behaviour of locales and D-localic maps ⋮ Unnamed Item



Cites Work

  • The other closure and complete sublocales
  • Frames and Locales
  • An extension of the Galois theory of Grothendieck
  • Spaces with Boolean assemblies
  • Function spaces and adjoints.
  • The Spectral Theory of Distributive Continuous Lattices
  • Atomless Parts of Spaces.
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2040885&oldid=14511970"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 20:13.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki