ツチヤさんと．私が Lurie, Higher Topos Theory の紹介の第１回．まずは Appendix から．A.1 Category Theory はむずかしいし何のための準備なのかわからなかったのでとばして，A.2 Model Categories をやる．モデル圏の定義，そのホモトピー圏の構成，Quil…