https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf RがFrobeniusのとき、pがtrivial fibrationであることとpが全射かつprojective kernelを持つことが同値であることを示す。 p:M \to Nが全射でker pがprojectiveである…