数学小知识
这里记录一些小知识,并不是长篇大论。
二〇二五
Determination
量词与交并补
The category of presheaves are cartesien closed
二〇二四
[译] 接纳构造主义只需五步