ホモトピー型理論

• -© 2023 上村 太一
• -HTML版: https://uemurax.github.io/hott-ja/index.html
• -PDF版: https://uemurax.github.io/hott-ja/index.pdf
• -リポジトリ: https://github.com/uemurax/hott-ja
• -ライセンス: この作品はクリエイティブ・コモンズ表示4.0国際ライセンスの下に提供されています。