这里记录一些小知识，并不是长篇大论。

二〇二五

• Determination
• 量词与交并补
• The category of presheaves are cartesien closed

二〇二四

• [译] 接纳构造主义只需五步