Search Results
| 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 locales
Search options answers only
not deleted
user 11640
Questions taking place in the category of locales, which is given by the opposite of the category of frames. Also appropriate for questions about pointless topology.
12
votes
Every Grothendieck topos can be built from localic topoi
They are (it is?) the same theorem, but emphasising different aspects.
We can exploit the object classifier to get from the formulation in terms of (pseudo)colimits to the "elementary" formulation in …
- 15.9k
12
votes
Localic or topos-theoretic definition of $\operatorname{Spec}$
This is ultimately the same construction as the one Simon Henry describes, but you might like the different perspective.
Definition.
Let $A$ be a commutative rig and let $L$ be a distributive lattice. …
- 15.9k
14
votes
Accepted
The real numbers object in Sh(Top)
Following a suggestion of Thomas Holder, we can close the gap as follows:
For each object $Y$ in $\mathbf{T}$, there is a pseudonatural local geometric morphism $\mathbf{Sh}(\mathbf{T}_{/ Y}) \to \m …
- 15.9k
2
votes
Universally closed implies proper for locales
It turns out that Vermeulen has essentially answered the question in [A note on stably closed maps of locales].
The argument there implies:
Theorem.
Let $g : X \to S$ be a morphism of locales. …
- 15.9k