solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看8197次
A model structure on prederivators for $(\infty,1)$-categories. (arXiv:1810.06496v1 [math.AT])
来源于:arXiv
By theorems of Carlson and Renaudin, the theory of $(\infty,1)$-categories
embeds in that of prederivators. The purpose of this paper is to give a
two-fold answer to the inverse problem: understanding which prederivators model
$(\infty,1)$-categories, either strictly or in a homotopical sense. First, we
characterize which prederivators arise on the nose as prederivators associated
to quasicategories. Next, we put a model structure on the category of
prederivators and strict natural transformations, and prove a Quillen
equivalence with the Joyal model structure for quasicategories. 查看全文>>