https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf prop 1.1.8 model cat CからC*にmodel strを入れる。ここでC*はptd objの圏、つまり終対象からの射* \to xのなす圏。 まずsmall limitとcolimitを持つかどうかについ…