[HoTT]HoTTをこっそり学ぶ その7 さて、Steve Awodey "TYPE THEORY AND HOMOTOPY"の勝手に翻訳の続きである。もちろん翻訳そのものが目的ではなく中身の解読がメインである。今回は第2章 The homotopy interpretationの2.2節まで、いろいろ調べ物をしながら…

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

[HoTT]HoTTをこっそり学ぶ その5 今回はHoTT Bookにもどってみる。このテキストは"HoTT Book"でぐぐれば公式でPDFを無料でゲットできる。さて、まだ１章のFoundationを少しずつ読み進めている段階であるが、Introductionを読み返してみるとちょっとわかった…