Timeline for Is the Grothendieck construction a homotopy pullback?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 24, 2023 at 11:15 | history | edited | Maxime Ramzi | CC BY-SA 4.0 |
added 258 characters in body
|
| Sep 24, 2023 at 11:12 | comment | added | Maxime Ramzi | @AlexanderCampbell : that's a good point. I guess I should add something to the effect that it is too coarse to remember "category theory" | |
| Sep 24, 2023 at 10:38 | comment | added | Alexander Campbell | The questioner may be satisfied with an answer involving something like the Thomason model structure, in which $Set_*$ and $*$ are of course weakly equivalent. | |
| Sep 24, 2023 at 9:52 | history | answered | Maxime Ramzi | CC BY-SA 4.0 |