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.
1 to 4 of 4