Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 17064

For questions about frames (=lattices with arbitrary joins and such that finite meets are distributive over those, such as the open sets of a topological set) and locales (the dual category to that of frames, seen as a generalization of topological spaces), as well as about pointfree (“pointless”) topology. This includes questions both of an algebraic nature about frames and of a topological nature about locales.

6 votes
1 answer
301 views

What is the power of the “anti-halting” oracle?

Let me first ask the question, and then, as it may seem a bit cryptic, explain how it comes up (and whence the “anti-halting oracle” in the title): Notations: we write $\langle m,n\rangle$ for a stand …
Gro-Tsen's user avatar
  • 32.5k
10 votes
0 answers
144 views

Closed sets versus closed sublocales in general topology in constructive math

This question is set in constructive mathematics (without Choice), such as in the internal logic of a topos with natural numbers object, or in IZF. Short version of the question: if $X$ is a sober top …
Gro-Tsen's user avatar
  • 32.5k
7 votes
1 answer
235 views

Dissolution of a topos

The dissolution of the locale associated with a frame $F$ is the locale associated with the frame $N(F)$ of nuclei of $F$ (see, e.g., Johnstone, “Stone Spaces” (1982), §2.5). Note that there is a fra …
Gro-Tsen's user avatar
  • 32.5k
5 votes
1 answer
80 views

Preimage of a sublocale by a morphism of locales: description by nucleus?

For completeness of MathOverflow, and to avoid any possible misunderstanding, let me recall the following terminology and facts, which should be standard (experts skip the following 2–3 paragraphs dir …
Gro-Tsen's user avatar
  • 32.5k
3 votes
0 answers
98 views

Constructively valid reference for the soberness of discrete spaces and points of a locale c...

I am looking for constructively valid references for the following two related facts: discrete topological spaces are sober, the points of a locale coproduct are the disjoint union of the points of …
Gro-Tsen's user avatar
  • 32.5k
3 votes
1 answer
217 views

Computing the Heyting operation on the frame of nuclei

(The following definitions are meant to be standard and are reproduced for completeness of the question.) A frame is a partially ordered set in which every finite subset has a greatest lower bound (“ …
Gro-Tsen's user avatar
  • 32.5k
2 votes
0 answers
98 views

What is known about sublocales defined by regular nuclei?

(For basic terminology, which is supposed to be standard anyway, see this other question, which inspired this one.) I am interested in nuclei $j\colon L\to L$ on a frame $L$ which are regular elements …
Gro-Tsen's user avatar
  • 32.5k