Extending to a model structure is not a first-order property
Category Theory
2021-02-25 v4 Algebraic Topology
Abstract
Let be a finitely bicomplete category and a subcategory. We prove that the existence of a model structure on with as subcategory of weak equivalence is not first order expressible. Along the way we characterize all model structures where is a partial order and show that these are determined by the homotopy categories.
Keywords
Cite
@article{arxiv.1410.6127,
title = {Extending to a model structure is not a first-order property},
author = {Jean-Marie Droz and Inna Zakharevich},
journal= {arXiv preprint arXiv:1410.6127},
year = {2021}
}
Comments
26 pages