Timeline for Does the forgetful functor from an over-$(\infty,1)$-category create weakly contractible limits?
Current License: CC BY-SA 4.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Nov 19, 2022 at 14:55 | vote | accept | Zach Goldthorpe | ||
Nov 19, 2022 at 14:42 | comment | added | Maxime Ramzi | @Z.M I am relatively confident that they don't. I know at least one proof which doesn't, and browsing through Kerodon, it also seems to be that the proof in Kerodon doesn't either. (from Kerodon's system for tracking where tags are used, it also seems to indicate that 02KS is not used anywhere but 02KT, which itself is used nowhere) | |
Nov 19, 2022 at 12:55 | comment | added | Z. M | I am not sure whether usual proofs of Thm A use some version of this. In Kerodon, this is placed before Thm A: kerodon.net/tag/02KS | |
Nov 19, 2022 at 9:34 | history | answered | Maxime Ramzi | CC BY-SA 4.0 |