https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf RをFrobenius ringとする。 IをRの左イデアルからの包含射a \to R全体の集合とし、Jを{0 \to R}とする。 R-modの射f:M \to NがfibrationとはJについてのright lifting…