S2的紀錄,所以歷史上並沒有關於球面外翻的紀錄,只有第一次面對視覺化球面外翻的人,所留下對其精妙之處的讚揚。 進一步的一般化在h-原理(英语:Homotopyprinciple)。 Levy, Silvio, A brief history of sphere eversions, Making waves
正在研究中的同伦类型论 直觉类型论 有类型lambda演算 类型系统 域理论 范畴论 Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced