Timeline for Equivalences of $n$-categories
Current License: CC BY-SA 4.0
8 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Nov 27, 2021 at 16:54 | vote | accept | Student | ||
Nov 26, 2021 at 14:04 | comment | added | Philippe Gaucher | Leinster's paper is published in TAC, I have modified the reference. | |
Nov 26, 2021 at 14:03 | history | edited | Philippe Gaucher | CC BY-SA 4.0 |
added 119 characters in body
|
Nov 26, 2021 at 0:59 | answer | added | Theo Johnson-Freyd | timeline score: 7 | |
Nov 25, 2021 at 16:46 | comment | added | Marc Hoyois | There is in fact a clear consensus of what a weak $n$-category is. The $(n+1,1)$-category of weak $n$-categories admits a fully faithful embedding into the $(\infty,1)$-category of $n$-fold simplicial spaces, and the image can be explicitly characterized: it consists of complete $n$-fold Segal spaces (these are the $(\infty,n)$-categories) with some truncatedness conditions. There is no problem comparing different constructions because the theory of $(\infty,1)$-categories suffices for that. | |
Nov 25, 2021 at 15:34 | answer | added | Simon Henry | timeline score: 9 | |
Nov 25, 2021 at 14:19 | history | edited | YCor |
edited tags
|
|
Nov 25, 2021 at 14:13 | history | asked | Student | CC BY-SA 4.0 |