# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeJul 6th 2018
• (edited Jul 6th 2018)

recording the 1-categorical equivalence $Ho(CombModCat) \;\simeq\; Ho(PresentableDerivators)$ obtained from Renaudin06

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeJun 9th 2021

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeJun 9th 2021

fixed typo in the remark recalling Dugger’s theorem (which had “simplicial set” instead of “simplicial category”)

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeOct 11th 2021
• (edited Oct 11th 2021)

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.