Timeline for classifying $\infty$-toposes for topological/localic groups?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 21, 2014 at 19:38 | comment | added | Simon Henry | For the edited answer: this construction only work "up to homotopy" for example for a discrete group $G$ the topos $BG$ is the topos of $G$-sets, if we use the topos of $T$ object endowed with an action of the object of $T$ corresponding to $G$ then one get a topos largely biger than $BG$ but which is homotopy equivalent. | |
| Jan 21, 2014 at 16:01 | history | edited | Marty | CC BY-SA 3.0 |
Significant edit, after comments.
|
| Jan 21, 2014 at 13:52 | comment | added | Marty | Hmmm - I guess the ncat lab says CGWH is Cartesian closed but not locally Cartesian closed. Well, I'll leave the answer as a warning to others. | |
| Jan 21, 2014 at 13:49 | comment | added | Simon Henry | Unfortunately, all the difficulties lies in the "take the associated infinity-category" because one has to work with topological spaces up to weak homotopy in order to have any hopes that this construction might yields the good answer. | |
| Jan 21, 2014 at 13:38 | comment | added | Zhen Lin | The category of CGWH spaces is not a topos. | |
| Jan 21, 2014 at 12:51 | history | answered | Marty | CC BY-SA 3.0 |