Timeline for Why did Voevodsky consider categories "posets in the next dimension", and groupoids the correct generalisation of sets?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 1, 2018 at 11:33 | comment | added | David Corfield | This idea goes back to Baez and Dolan. You can read about it around pp. 34-36 of Baez's Lectures on n-Categories and Cohomology (for which Mike took the notes), arxiv.org/abs/math/0608420. | |
| Sep 1, 2018 at 3:21 | comment | added | Mike Shulman | @SohamChowdhury I just mean this comment right here: mathoverflow.net/questions/309515/… | |
| Sep 1, 2018 at 2:37 | comment | added | Soham Chowdhury | Do you have a source for the discussion where Corfield made that remark? | |
| Sep 1, 2018 at 2:37 | comment | added | Soham Chowdhury | +1, very enlightening. It looks like the world where the $(n,r) \mapsto (n+1,r+1)$ step were the one "chosen" would have $(2,1)$-categories as its notion of "poset, one dimension up", and this makes sense once I think about it being enriched in groupoids. | |
| Aug 31, 2018 at 19:13 | history | answered | Mike Shulman | CC BY-SA 4.0 |