https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf
CH(R)のmodel strを二つ
Theorem 2.3.11
IをJをとし、Iがgenerateing cofib, Jがgenerating triv fibであるようなmodel strが定まる。fibrationはsurj
Theorem 2.3.13
injective model strと呼ばれるmodel strが定まり、
injective fibration、つまりRLP wrt inj and weなる射はsurj with fib kernelで、fibrantはcpx of injectivesであり、任意のbdd above cpx of injはfibrantである。