数学小知识

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

二〇二五

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