知识
【范畴论】练习：定义验证与泛性质使用
选做一些 Mac Lane 书上的习题，包含 Ⅱ. Constructions on Categories 及 Ⅲ. Universals and Limits 的 1. Universal Arrows 节。…
【量子信息】基本原理与基本结论
量子信息的一些系统学习。从量子状态定义到量子密集编码、量子隐形传态、纠缠的量化。
光滑流形上的微分与微分形式
关于 ∂/∂x, df, dx, d, df/dx 等记号本质上/在一般的流形上是什么（并没有到层论视角）。
【Agda 语言】形式化证明所需的主要设施
类型论的实践：函数式程序推理与演算。Agda 中的证明、归纳、列表、Internal Verification 和等式理论。
几何学Ⅰ期中复习笔记
本文用于准备几何学I（实验班）2025秋的期中考试。包含需要特别记忆的定义和结论 & 考后总结。
几何是一个关联很多数学分支的分支，因此本文中可能涉及不那么几何的结论。…