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 2362
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.
11
votes
Accepted
Every Grothendieck topos can be built from localic topoi
The groupoid representation of Joyal and Tierney may be identified with the truncated simplicial diagram appearing in the statement of Theorem 2 of the Lurie notes mentioned in the question. That is, …
- 63.9k
6
votes
Localic or topos-theoretic definition of $\operatorname{Spec}$
You might be interested in Cole's theory of spectrum. Besides the references given on that nlab page (which include several related theoretical frameworks, such as Lurie's theory of structured infinit …
- 63.9k