Timeline for Density Theorem for $\infty$-Categories (HTT, Lemma 5.1.5.3)
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 12, 2022 at 8:23 | answer | added | D.-C. Cisinski | timeline score: 1 | |
| Oct 4, 2022 at 3:08 | answer | added | Ken | timeline score: 1 | |
| Oct 3, 2022 at 10:56 | vote | accept | Ken | ||
| Oct 1, 2022 at 9:24 | answer | added | Maxime Ramzi | timeline score: 4 | |
| Oct 1, 2022 at 8:50 | comment | added | Maxime Ramzi | It's important to point out that the proof is Kerodon is somehow very different. The proof in HTT proves directly that the expected thing is a colimit diagram, while the proof in Kerodon proves that an appropriate functor is fully faithful, and then a general statement that those things are equivalent. | |
| Oct 1, 2022 at 8:37 | comment | added | Z. M | Not answering the question, but a link to a Kerodon section proving the same thing. | |
| Oct 1, 2022 at 8:33 | history | edited | Maxime Ramzi | CC BY-SA 4.0 |
deleted 7 characters in body
|
| Oct 1, 2022 at 7:51 | history | edited | Ken | CC BY-SA 4.0 |
edited title
|
| Oct 1, 2022 at 6:10 | history | asked | Ken | CC BY-SA 4.0 |