☰
ホモトピー型理論
貢献者
はじめに
型理論
統一された正しい同一視の概念
一価性公理とホモトピー論
識別子
型理論
宇宙
関数型
レコード型
同一視型
高次グルーポイド構造
自然数
有限余積
一価性公理
可縮性
同一視型の基本定理
一価性
関数外延性
一価性から関数外延性を導く
構造同一原理
同値
他の同値の概念
\(n\)
型
命題
同値の概念
集合
切り詰め
述語論理
連結性
構造同一原理
高次帰納的型
ファイバー余積
降下性
局所化
ホモトピー論
圏論
圏
関手
自然変換
前層
参考文献
記法の一覧
索引
[index]
[007E]
[Pierce--2002-0000]
[Pierce--2002-0000]
文献
Benjamin C. Pierce.
Types and programming languages
. MIT Press, 2002.
↑