Homotopy Type Theory

风逝。不看因为不知道有什么用。10-07

翻到这个图书，真心想做一B站视频。背景音乐是基督教福音歌曲AmazingGrace，画面前端放一个瑞脑消金兽的那个香炉，旁边是你这些年读过的所有数学书，还有一个蓝色纸板做的B乎logo……然后你在画面中奋力地焚烧着，对要奋力地焚烧着，要做出画作呐喊那种表情，要燃出焚琴煮鹤的爽快，要烧出南美大盗焚币的豪情！最后画面逐渐淡出消失出现一行字：这世界没有本质，只存在表象，只有不同的角度与层次……最后飘出结束语：几年后他/她走上了人生巅峰，迎娶白富美，下嫁高富帅！哈哈！说正经的，这本书的方向可以观望观望，毕竟太年轻。但把同伦作为类型的语义从而对数学提出新的理解，这种想法却起源较早。而数学机械化的思想甚至可以称之为古老。04-10

一年内各路作者齐贡献 各章不太统一 但绕不开啊【believe it or not there is a textbook about hott...【最后几章读不动了姑且就标个读过吧。。。04-11