Timeline for What does the topos of (light) condensed sets classify?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S May 16 at 7:10 | history | bounty ended | xuq01 | ||
| S May 16 at 7:10 | history | notice removed | xuq01 | ||
| May 16 at 7:09 | vote | accept | xuq01 | ||
| May 15 at 19:05 | answer | added | Peter Scholze | timeline score: 17 | |
| S May 10 at 13:40 | history | bounty started | xuq01 | ||
| S May 10 at 13:40 | history | notice added | xuq01 | Draw attention | |
| May 6 at 19:17 | comment | added | Bas Spitters | As David says there are size issues here, but Condensed sets are equivalent to Pyknotic sets. Pyknotic sets are the pretopos completion of the pretopos of compacta. So, Pyk classifies the geometric theory of the site of Comp. (this geometric theory may not be very informative) As I said, all of this is provided the size issues can indeed be fixed by something like the light condensed sets, which seems likely. | |
| May 1 at 9:02 | comment | added | David Roberts♦ | The category of condensed sets is a category of small sheaves, and just isn't a topos (pace Scholze)—it is a particularly nice pretopos though. But light condensed sets do indeed form a rather nice topos. | |
| May 1 at 8:37 | history | edited | Simon Wadsley | CC BY-SA 4.0 |
Fixed typo
|
| May 1 at 8:19 | history | asked | xuq01 | CC BY-SA 4.0 |