加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本