New answers tagged locales
3
votes
Preimage of a sublocale by a morphism of locales: description by nucleus?
Here is I think a counter-example to the precise proposed formula in the question.
Take $X= \mathbb{Q}$ with the discrete topology, with $Y = \mathbb{R}$ withe its usual topoly and the map $f:X \to Y$ ...
Top 50 recent answers are included
Related Tags
locales × 87ct.category-theory × 37
gn.general-topology × 32
topos-theory × 21
constructive-mathematics × 14
reference-request × 8
lattice-theory × 8
lo.logic × 5
measure-theory × 5
order-theory × 5
frames-and-locales × 5
boolean-algebras × 4
ag.algebraic-geometry × 3
pr.probability × 3
real-analysis × 3
soft-question × 3
infinity-topos-theory × 3
higher-category-theory × 2
sheaf-theory × 2
lattices × 2
limits-and-convergence × 2
von-neumann-algebras × 2
manifolds × 2
infinity-categories × 2
compactness × 2