Applied Category Theory Course (2018)
9 days ago
- #John Baez
- #Applied Category Theory
- #Mathematics Course
- 本课程以 Fong 和 Spivak 所著的《构成性七讲:应用范畴论导引》为基础。
- 课程由 John Baez 教授,网页内容由 Simon Burton 制作。
- 课程内容分为四个主要章节:有序集合、资源理论、数据库和协同设计。
- 每个章节包含多场讲座,涵盖应用范畴论的基础与进阶主题,包括预序、伽罗瓦连接、逻辑、幺半结构、函子、自然变换以及富范畴等内容。