应用范畴论课程 (2018)
Applied Category Theory Course (2018)

原始链接: https://math.ucr.edu/home/baez/act_course/index.html

请启用 JavaScript 应用范畴论课程 约翰·拜尔兹(John Baez) 本课程基于方(Fong)与斯皮瓦克(Spivak)所著的《组合性七讲:应用范畴论导引》(Seven Sketches in Compositionality: An Invitation to Applied Category Theory),由约翰·拜尔兹授课,并由西蒙·伯顿(Simon Burton)制作为精美网页。 欲了解更多详情,请直接进入并查看第一讲。 第 1 章:序集 第 2 章:资源理论 第 3 章:数据库 第 4 章:协同设计 © 2018 约翰·拜尔兹

Hacker News 新内容 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 应用范畴论课程 (2018) (ucr.edu) 14 点 由 measurablefunc 1 小时前发布 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:
相关文章

原文
Applied Category Theory Course

John Baez

This is a course based on Fong and Spivak's book Seven Sketches in Compositionality: An Invitation to Applied Category Theory, taught by John Baez and turned into nice webpages by Simon Burton.

For more details, dive right in and check out Lecture 1.

Chapter 1: Ordered Sets

Chapter 2: Resource Theories

Chapter 3: Databases

Chapter 4: Collaborative Design


© 2018 John Baez
联系我们 contact @ memedata.com