Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
recording the 1-categorical equivalence $Ho(CombModCat) \;\simeq\; Ho(PresentableDerivators)$ obtained from Renaudin06
added publication data for:
Where the entry said it “should be true” that the homotopy-category/homotopy-theory of combinatorial model categories is equivalent to that of presentable $\infty$-categories, I have now added the remark that a proof is offered in Pavlov 2021 (as discussed in the other thread here).
I hope we will expand on this here in this entry, eventually.
We have an article named Ho(CombModCat), but no article named CombModCat.
Also, this article does not just talk about the homotopy category of CombModCat, but also states theorems about the ∞-category. So the title is not quite accurate anyway. Should this article be renamed to CombModCat?
Sure, makes sense.
1 to 7 of 7