文件名称：lambda-calculus-and-categories:我的 lambda 演算和类别课程材料的存储库
文件大小：256.86MB
文件格式：ZIP
更新时间：2024-06-17 19:03:24
Lambda微积分和类别 我的 lambda 演算和类别课程材料的存储库 第1课：课程简介[ ] [ ] 第2课：类别，函子，自然变换[ ] [ ] 第3课：类别的2类[ ] [ ] 第4课：字符串图和附件[ ] [ ] 第5课：免费的笛卡尔类别[ ] [ ] 第 6 课：lambda 演算简介 [ ][ ][ ] 第 7 课：使用无类型 lambda 演算计算递归函数 [ ][ ][ td + 视频] 第8课：简单的lambda演算，教堂编码[ 视频] [ 注释] [ td + video ] 第 9 课：简单类型的 lambda 演算和笛卡尔封闭范畴 [ 视频] [ 注释] [ td + 视频] 第 10 课：*笛卡尔封闭类别 [ 视频][ 笔记] [ td + 视频] 第11课：字符串图中的附件[ 视频] [ 注释] 第12课：从附加语到单子语[ 视频]
【文件预览】：
lambda-calculus-and-categories-master
----LambdaCalculusAndCategories-td-5-regular-epi-mono.pdf(156KB)
----LambdaCalculusAndCategories-OnlineNotes6b.pdf(13.64MB)
----LambdaCalculusAndCategories-OnlineNotes2.pdf(14.79MB)
----LambdaCalculusAndCategories-OnlineNotes9.pdf(18.09MB)
----LambdaCalculusAndCategories-td-4-another-formulation-of-adjunctions.pdf(158KB)
----LambdaCalculusAndCategories-OnlineNotes5.pdf(23.27MB)
----LambdaCalculusAndCategories-OnlineNotes12plus1.pdf(18.39MB)
----LambdaCalculusAndCategories-OnlineNotes3.pdf(24.81MB)
----README.md(7KB)
----LambdaCalculusAndCategories-OnlineNotes6a.pdf(14.03MB)
----LambdaCalculusAndCategories-OnlineNotes11.pdf(14.44MB)
----LambdaCalculusAndCategories-OnlineNotes8.pdf(19.42MB)
----LambdaCalculusAndCategories-td-1-cartesian-categories.pdf(129KB)
----LambdaCalculusAndCategories-OnlineNotes4.pdf(23.04MB)
----LambdaCalculusAndCategories-OnlineNotes7.pdf(17.61MB)
----LambdaCalculusAndCategories-OnlineNotes10.pdf(19.62MB)
----LambdaCalculusAndCategories-OnlineNotes12.pdf(20.73MB)
----LambdaCalculusAndCategories-td-3-adjunctions.pdf(151KB)
----LambdaCalculusAndCategories-td-2-coproducts-pullbacks-monoids.pdf(142KB)
----LambdaCalculusAndCategories-OnlineNotes1.pdf(14.38MB)