Induced model structures for higher categories

Abstract

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.

arXiv comment15 pages, to appear in Proc. Amer. Math. Soc

References in corpus (9)

• A necessary and sufficient condition for induced model structures
• On an extension of the notion of Reedy category
• Comparing composites of left and right derived functors
• Mapping spaces in Quasi-categories
• Lifting accessible model structures
• A criterion for existence of right-induced model structures
• Cubical models of $(\infty ,1)$-categories
• Idempotent completion of cubes in posets
• Joyal's cylinder conjecture

Cited by in corpus (1)

• Relative elegance and cartesian cubes with one connection