☰
ホモトピー型理論
貢献者
はじめに
型理論
統一された正しい同一視の概念
一価性公理とホモトピー論
識別子
型理論
宇宙
関数型
レコード型
同一視型
高次グルーポイド構造
自然数
有限余積
一価性公理
可縮性
同一視型の基本定理
一価性
関数外延性
一価性から関数外延性を導く
構造同一原理
同値
他の同値の概念
\(n\)
型
命題
同値の概念
集合
切り詰め
述語論理
連結性
構造同一原理
高次帰納的型
ファイバー余積
降下性
局所化
ホモトピー論
圏論
圏
関手
自然変換
前層
参考文献
記法の一覧
索引
[index]
[003W]
[005T]
[005W]
[005W]
注意
[005V]
の意味での
\(n\)
連結関数は古典的なホモトピー論における
\(n+1\)
連結写像に対応するものである。
↑