Timeline for The "right" topological spaces
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 30, 2016 at 16:58 | comment | added | Denis Nardin | While that's an interesting construction, I don't think anyone actually uses that topos to do homotopy theory and if I understand correctly there is no connected component functor, which sounds like a problem to me. | |
| Aug 30, 2016 at 14:56 | history | answered | tttbase | CC BY-SA 3.0 |