[HoTT]HoTTをこっそり学ぶ その6 いろいろぐぐっているうちに次のAwodey氏のレビューペーパーを見つけた。Steve Awodey "TYPE THEORY AND HOMOTOPY" 2010これもarXiv.orgで無料で手に入る。こんないいのがあるなら早く教えてよって感じである。全部20ページ…