Timeline for What does the topos of (light) condensed sets classify?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 11 at 16:49 | comment | added | Mike Shulman | Normally a geometric morphism is considered to point in the direction of its right adjoint, so the statement would be that light condensed sets are sub terminal. If you want to consider the left adjoints as the morphisms, sometimes people talk about this as the category of "logoi" rather than topoi. | |
| Jun 5 at 15:31 | comment | added | Peter Scholze | My guess would be that it is easy to prove that they are not initial, but I didn't try. | |
| May 24 at 10:02 | comment | added | Julian Quast | Is it possible, that (light) condensed sets are actually initial in this category of topoi? | |
| May 16 at 7:10 | history | bounty ended | xuq01 | ||
| May 16 at 7:09 | vote | accept | xuq01 | ||
| May 15 at 19:05 | history | answered | Peter Scholze | CC BY-SA 4.0 |