[HoTT]HoTTをこっそり学ぶ その8 さて、Steve Awodey "TYPE THEORY AND HOMOTOPY"の勝手に翻訳シリーズもいよいよ佳境である。2.3節ははっきり言って急に難しくなっている。今までは何だったんだ。まずは2.3節の前半。 2.3. Homotopical models of type theo…