https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf
昨日の続きでFがtrivial cofibrationを保つことを確かめる。
まずF(J-cof) \subset FJ-cofであることをみる。
これについては昨日と同様にlemma 2.1.8からわかる。
次に仮定からFJ \subset (triv cofib)であるから、FJ-cof \subset (triv cofib)-cofであるが、lemma 1.1.10から(triv cof)-cof = (triv cof)であるからF(J-cof) \subset (triv cof)である。
このことからFがleft Quillenであることがわかる。