English

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

Category Theory 2021-02-25 v4 Algebraic Topology

Abstract

Let C\mathcal{C} be a finitely bicomplete category and W\mathcal{W} a subcategory. We prove that the existence of a model structure on C\mathcal{C} with W\mathcal{W} as subcategory of weak equivalence is not first order expressible. Along the way we characterize all model structures where C\mathcal{C} 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

R2 v1 2026-06-22T06:33:07.089Z