モデル圏
https://www.shinshu-u.ac.jp/faculty/science/quest/research/post-7.php
https://ja.wikipedia.org/wiki/モデル圏
http://pantodon.shinshu-u.ac.jp/topology/literature/model_category.html
http://pantodon.shinshu-u.ac.jp/topology/literature/model_category_basics.html#XDwyer-Spalinski
http://alg-d.com/math/kan_extension/model.pdf
https://unaoya-pi.hatenablog.com/entry/2018/12/19/D-prestack
D-prestack