25/10/28 17:48:23.60 wRqXRloP.net
>>810
さらに要約する
Localization of categories で 下記問題が生じる
”This procedure, however, in general yields a proper class of morphisms between X and Y.
Typically, the morphisms in a category are only allowed to form a set. Some authors simply ignore such set-theoretic issues.”
その解決法の一つが
Model categories らしい
関連 Related concepts で
Bousfield localization of a model category があるらしく
Ohkawa の定理 は、ここで働いて proper class→ 集合 に 落とせる（>>783 信州大 より）
と 読んだ （＾＾