Timeline for HTT, Remark 4.2.4.5
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 17 at 9:38 | answer | added | Ken | timeline score: 3 | |
| Apr 17 at 9:37 | vote | accept | Ken | ||
| Feb 18, 2023 at 0:49 | comment | added | Ken | @TimCampion Yes, I should have explained how the comparison map is constructed. I added the necessary detail. | |
| Feb 18, 2023 at 0:48 | history | edited | Ken | CC BY-SA 4.0 |
added 307 characters in body
|
| Feb 17, 2023 at 12:34 | comment | added | Tim Campion | The first question is why there is such a map, in either model structure. I suspect that once this question is answered carefully, the question of why it is an equivalence will be seen to transfer from one model structure to the other. | |
| Feb 16, 2023 at 5:31 | answer | added | Dmitri Pavlov | timeline score: 5 | |
| Feb 16, 2023 at 4:53 | history | asked | Ken | CC BY-SA 4.0 |