状态
这是一个明确标记为 TODO 的 scaffold，不代表源章节已经完成。归档源文件目前只有章节提纲，或只有很少的占位内容。
源文件路径是 content/Part2 Discrete math/6.Introductory Topology and Category Theory.tex. 源文件保留在锁定的仓库快照中 Math-for-Computer-Science.
源章节提纲
- 范畴论基础
- 范畴简介
- 对象与态射
- 范畴的例子
- 函子与自然变换
- 函子的定义
- 函子之间的自然变换
- 极限与余极限
- 泛性质
- 极限与余极限的构造
- 范畴论的应用
- 范畴论在编程语言中的应用
- 范畴论在逻辑与集合论中的应用
迁移队列
- 把源章节提纲扩展成符合 blog Markdown 和 KaTeX 约定的完整笔记。
- 在提升 maturity 之前，逐项核对定义、记号、证明和例子。
- 把 LaTeX 生成的插图转成 SVG 或重新绘制；暂时无法转换的资源必须保留明确占位说明。
本页属于 范畴论 阅读路径。
评论