应用范畴理论课程

约翰·贝兹

这是一门基于方和斯皮瓦克的书的课程构图中的七幅素描：对应用范畴理论的邀请,约翰·贝兹教授，西蒙·伯顿制作了漂亮的网页。

要了解更多细节，请直接进入并查看第1讲。

第1章：有序集

• 第1讲-引言

• 第二讲-什么是应用范畴理论？

• 讲座3-预订单

• 第四讲-Galois连接

• 第五讲-Galois连接

• 第六讲-计算副词

• 第7讲-逻辑

• 第八讲-子集的逻辑

• 第九讲-伴随词与子集逻辑

• 第10讲-分区逻辑

• 讲座11-分区的Poset

• 第12讲-生成效果

• 第13讲-拉回隔板

• 第14讲-伴随、加入和会面

• 第15讲-保留连接和汇合

• 第16讲-偏序集的伴随函子定理

• 第17讲-大综合

第二章：资源理论

• 第18讲-资源理论

• 第19讲-化学与日程安排

• 第20讲-制造

• 第21讲-单体预订单

• 第22讲-对称单面序

• 第23讲-交换单体偏序集

• 第24讲-资源定价

• 第25讲-反应网络

• 第26讲-单体单音

• 第27讲-单体单音的伴随词

• 第28讲-忽略外部性

• 第29讲-丰富的类别

• 第30讲-预订单作为丰富的类别

• 第31讲-Lawvere度量空间

• 第32讲-丰富的函数

• 讲座33-捆扎松散端

第3章：数据库

• 讲座34-类别

• 第35讲-类别与预订单

• 第36讲-图中的类别

• 第37讲-类别的呈现

• 第38讲-函数

• 第39讲-数据库

• 第40讲-关系

• 第41讲-编写函数

• 第42讲-转换数据库

• 第43讲-自然变化

• 第44讲-范畴、函数和自然变换

• 第45讲-合成自然变换

• 第46讲-同构

• 第47讲-伴随函数

• 第48讲-伴随函数

• 第49讲-Kan扩展

• 第50讲-左堪萨斯州扩展

• 第51讲-右Kan扩展

• 第52讲-Hom-Functor

• 讲座53-自由和遗忘函数

• 第54讲-捆扎松散端

第四章：协同设计

• 第55讲-丰富的函数与协同设计

• 第56讲-可行性关系

• 第57讲-可行性关系

• 第58讲-构建可行性关系

• 第59讲-成本增加函数

• 第60讲-闭单体预订单

• 第61讲-闭单体预订单

• 第62讲-富余函数

• 第63讲-编写丰富的泛函

• 第64讲-丰富的敷衍了事的类别

• 第65讲-协同设计

• 第66讲-协同设计

• 第67讲-协同设计中的反馈

• 第68讲-协同设计中的反馈

• 第69讲-协同设计中的反馈

• 第70讲-张量富余函子

• 第71讲-浓缩精华液的帽子和杯子

• 第72讲-单体分类

• 第73讲-字符串图和严格化

• 第74讲-压缩闭合类别

• 第75讲-大综合

• 第76讲-大综合

• 第77讲-结束？不，开始！

©2018 John Baez版权所有