https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf Cをwe W付きの圏とする。 これに対し圏C[W^{-1}]もしくはHoCをobがCと同じで、射がCの射とWの（形式的な）逆から生成されるものとする。 実際にはこのようにしたとき…