Timeline for What's the link between topological spaces as locales and topological spaces as infinity-groupoids?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 4, 2013 at 21:36 | comment | added | David Carchedi | Just a small remark: You might not want to say something as strong as "what we should've defined topological spaces as" because, I (and I'm sure many others) wholeheartedly disagree. IMO, when you (as an algebraic topologist) say topological space, what you ought to be saying is "homotopy type". The concept of a topological space has many uses (manifolds, sheaves, analysis...) | |
| Sep 19, 2013 at 15:10 | vote | accept | Mark Gomer | ||
| Sep 19, 2013 at 11:23 | comment | added | Urs Schreiber | Those nLab articles relating topological spaces with homotopy types via higher stacks are based on the material laid out in my thesis here: ncatlab.org/schreiber/show/… The general considerations are in section 3.8.1 "Geometric homotopy/Etale homotopy", the discussion concretely for topological spaces is in section 4.3. | |
| Sep 18, 2013 at 23:15 | history | edited | Qiaochu Yuan | CC BY-SA 3.0 |
added 159 characters in body
|
| Sep 18, 2013 at 23:08 | history | edited | Qiaochu Yuan | CC BY-SA 3.0 |
edited body
|
| Sep 18, 2013 at 23:00 | history | answered | Qiaochu Yuan | CC BY-SA 3.0 |