Extending to a model structure is not a first-order property

Jean-Marie Droz, Inna Zakharevich

Let $\mathcal{C}$ be a finitely bicomplete category and $\mathcal{W}$ a subcategory. We prove that the existence of a model structure on $\mathcal{C}$ with $\mathcal{W}$ as subcate…