27个没有卵用的范畴论小知识

鹿目_圓:
meme是一类你可能看不懂但觉得很好笑的东西，范畴论也属于这一“类” 这句话是一个冷笑话，但是它把范畴论和meme联系起来了，所以它也是范畴论……同时也是meme（

1678014307:
functor is not function , which is very "funct" 乐死了

【回复】它并不是一个“function”但是它具有funct的性质（）
饭七元:
前面都挺好,就是最后一个玩笑让人感觉不适

【回复】回复 @理塘丁真 ：就你是始对象是吧，天天测别人码
【回复】确实 虽然知道他是说每个人都骂街的意思
【回复】回复 @小文ixotsode :到你这蚌埠住了
Despicability:
范畴论很好玩，但是对我一个读抽代都读不懂的人来说有点太远了[笑哭]

【回复】回复 @Despicability :不至于[脱单doge]抽象能力是一点点建立的，谁都不会在还没熟练掌握代数结构之间的关系之前就理解范畴的提出目的是什么，实际上绝大多数数学系学生第一次接触范畴论是在代数拓扑里，通过基本群把代数和拓扑两个完全不相关的领域结合起来，才第一次用到范畴的知识
【回复】我对范畴论的朴素理解是：比如说老师教你们一道数学题，老师一边在黑板上写推导过程，一边用语言来给你们讲解这个推导过程，于是你可以看做“语言”范畴指向“逻辑推导”范畴的对应过程就叫做函子，“一句语言推导出下一句语言”，“和一个公式推导得到一个结果”这两个东西之间的“推导”分别就叫态射[doge]
【回复】回复 @李众光Helium-Li :我大概理解范畴论的意义，但是缺少比较具象的认知，感觉我的抽象能力最多理解到抽象代数的层面了
irzhypo:
现在认知科学也在应用范畴论论证了，所以还是有可应用性的

李众光Helium-Li:
我对范畴论的朴素理解是：比如说老师教你们一道数学题，老师一边在黑板上写推导过程，一边用语言来给你们讲解这个推导过程，于是你可以看做“语言”范畴指向“逻辑推导”范畴的对应过程就叫做函子，“一句语言推导出下一句语言”，“和一个公式推导得到一个结果”这两个东西之间的“推导”分别就叫态射[doge]

砕夜:
倒数第二个的底是啥[思考]查了好多也没解释

【回复】是类型论里的概念，see https://en.m.wikipedia.org/wiki/Bottom_type
【回复】如果说类型论可能是多态类型，个人认为类似始代数的概念
AI课代表呀:
AI课代表的笔记：这个视频是关于范畴论的一些有趣但没什么用的小知识。范畴论是关于对象、态射和组合的数学理论。视频中介绍了范畴的定义、范畴的例子、范畴间的变换器、交换图、范畴论在其他领域的应用等内容。视频以幽默的方式介绍了范畴论的一些概念和性质。 - 0:00 📚范畴论概述 - 3:08 🔑重要概念和术语 - 6:20 🌐应用和应用领域 本内容由AI课代表自动生成，关注并 @AI课代表呀 总结其它视频吧~（课代表认为本视频是精品，主动前来分享）

反物质萝卜:
实际上反着写才是正确的写法。你想想看 fgh 是什么意思？先算 f，再算 g，然后算 h 吗？不是。所以图上就应该是 A←B:f ； B←C:g；C ←D: h。然后合成一个 A←D : fgh。