标题： 高阶范畴的诱导模型结构 显示英文标题

标题： Induced model structures for higher categories

摘要： 我们给出一个新的准则，保证沿一个同时具有两个伴随的函子所诱导的模型结构的存在性。 这在该函子在同伦范畴层面上诱导出幂等伴随的情况下成立。 作为应用，我们在立方集、预导出器、标记单纯集和模拟空间上构造新的模型结构，这些结构用于建模$\infty$-范畴和$\infty$-群胚。 显示英文摘要

摘要： We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an application, we construct new model structures on cubical sets, prederivators, marked simplicial sets and simplicial spaces modeling $\infty$-categories and $\infty$-groupoids.