The enriched-category model conjecture for cartesian model categories
Let CCC be a small category, let …andsupposethat… and suppose that…andsupposethatMisacartesianmodelcategory.Foranobjectis a cartesian model category. For an objectisacartesianmodelcategory.ForanobjectXofofofM\operatorname{-Cat},let, let ,lethX…