Quillen adjunctions induce adjunctions of quasicategories

Aaron Mazel-Gee

We prove that a Quillen adjunction of model categories (of which we do not require functorial factorizations and of which we only require finite bicompleteness) induces a canonical…