sumi notebooks
ノート一覧
Algebra
1
群
Lambda Calculus
1
型なしラムダ計算
2
チャーチ・ロッサーの定理
Type Theory
1
単純型付きラムダ計算 (1)
2
単純型付きラムダ計算 (2) - 単純型
Category Theory
1
圏
2
エピ射とモノ射
3
積と余積