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…