ホモトピー型理論

「ものの種類＝型」を、 「空間の形」として考える数学・論理の理論

型 = 空間

要素 = 空間の点

等しさ = 点と点を結ぶ道

等しさ同士の等しさ = 道と道の変形

形を切ったり貼ったりせず、連続的に変形して同じとみなす考え方

カップ ≒ ドーナツ 連続的に変形すれば同じ構造になる

“変形し続ける空間”として読む理論

• 

• 

「等しい」という概念を、点と点を結ぶ道や空間の変形として扱う、新しい数学の基礎理論

空間全体の連続的な変形まで含めた設計理論

Mathematical Architecture

space