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