Timeline for Model categories: "equivalence" of finite limits and finite colimits
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 28, 2023 at 0:41 | comment | added | Mike Shulman | Every model category has a homotopy $\infty$-category, indeed that is sort of the point of a model category. And every Quillen functor between model categories induces a functor between homotopy $\infty$-categories. | |
| Sep 27, 2023 at 19:54 | history | became hot network question | |||
| Sep 27, 2023 at 17:50 | answer | added | Dmitri Pavlov | timeline score: 5 | |
| Sep 27, 2023 at 17:29 | comment | added | Alexey Do | I am sorry since my knowledge of $\infty$-categories is very limited: how are these two contexts related? | |
| Sep 27, 2023 at 16:39 | comment | added | Mike Shulman | It's certainly not true if by "(co)limit" you mean a 1-categorical one in the model category. If you mean homotopy (co)limits, then it should follow from the $\infty$-categorical statement by passing to homotopy categories, right? | |
| Sep 27, 2023 at 11:52 | history | asked | Alexey Do | CC BY-SA 4.0 |