https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf J-cofであることと単射でproj cokerが同値。 とくにJ-cofの元はstable equiv J-cofとは任意のJ-injに対してLLPを持つこと。 またJ-injは全射と同値。 i:A \to Bが単射…