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