A criterion for existence of right-induced model structures

TL;DR

This paper provides a concise criterion for establishing right-induced model structures on categories via functors with adjoints, with applications to various algebraic and higher categorical structures.

Contribution

It introduces a new sufficient condition for the existence of right-induced model structures when the functor admits both adjoints, with multiple illustrative examples.

Findings

The criterion applies to change-of-rings and operad-like structures.

Anti-involutive structures on infinity categories are analyzed.

Known Quillen equivalences lift to equivalences in these new contexts.

Abstract

Suppose that $F: \mathcal{N} \to \mathcal{M}$ is a functor whose target is a Quillen model category. We give a succinct sufficient condition for the existence of the right-induced model category structure on $\mathcal{N}$ in the case when $F$ admits both adjoints. We give several examples, including change-of-rings, operad-like structures, and anti-involutive structures on infinity categories. For the last of these, we explore anti-involutive structures for several different models of $(\infty, 1)$-categories, and show that known Quillen equivalences between base model categories lift to equivalences.