☰
ホモトピー型理論
貢献者
はじめに
型理論
統一された正しい同一視の概念
一価性公理とホモトピー論
識別子
型理論
宇宙
関数型
レコード型
同一視型
高次グルーポイド構造
自然数
有限余積
一価性公理
可縮性
同一視型の基本定理
一価性
関数外延性
一価性から関数外延性を導く
構造同一原理
同値
他の同値の概念
\(n\)
型
命題
同値の概念
集合
切り詰め
述語論理
連結性
構造同一原理
高次帰納的型
ファイバー余積
降下性
局所化
ホモトピー論
圏論
圏
関手
自然変換
前層
参考文献
記法の一覧
索引
[index]
[007H]
[007H]
貢献者
執筆、誤字脱字の報告などで本書の内容に直接影響を与えた者たちの一覧。
-
Taichi Uemura (
https://github.com/uemurax
,
https://twitter.com/t_uemura669101
)
-
立腹層(
https://twitter.com/rippukusou
)
↑