モデル圏 圏の射の逆をつけ加えて 圏を局所化したいとき 合成によって さらに射が増えるけど 経由する対象が多すぎると 射が増えすぎてまずいので モデル圏の公理では ある種のリフトが最初からあったことにするんだなあみつを セル複体 ホモトピー論は どん…