https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf stabel cat of modulesがcofibは単射、fibは全射、weはstable eqとしてmodel categoryの構造を持つことを示すために定理2.1.19を用いる。 まずこの圏が全てのsmall co…