epsilon

落書き

model category 5

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圏であれば上手く行くことを後で見る。