https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf まずfibrationであることとsurjectiveが同値であることを確かめる。 f:M \to Nがfibrationであるとは0 \to Rに対してRLPを持つこと。 これは0 \to M \to Nと0 \to R \…