https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf
Cをwe W付きの圏とする。
これに対し圏C[W^{-1}]もしくはHoCをobがCと同じで、射がCの射とWの(形式的な)逆から生成されるものとする。
実際にはこのようにしたとき(射の集合について)集合論的な問題が生じるが、Cがmodel圏であれば上手く行くことを後で見る。
https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf
Cをwe W付きの圏とする。
これに対し圏C[W^{-1}]もしくはHoCをobがCと同じで、射がCの射とWの(形式的な)逆から生成されるものとする。
実際にはこのようにしたとき(射の集合について)集合論的な問題が生じるが、Cがmodel圏であれば上手く行くことを後で見る。