https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf prop 2.3.5 p:X \to Yがtrivial fibであることとI-injであることが同値。 I-injとはすべてのS^{n-1} \to D^nにRLPをもつこと。 Lemma 2.3.6 AがcofibrantならA_nがす…