🏠 首页
基准测试
📊 所有基准测试 🦖 恐龙 v1 🦖 恐龙 v2 ✅ 待办事项应用 🎨 创意自由页面 🎯 FSACB - 终极展示 🌍 翻译基准测试
模型
🏆 前 10 名模型 🆓 免费模型 📋 所有模型 ⚙️ 🛠️ 千行代码模式
资源
💬 💬 提示库 📖 📖 AI 词汇表 🔗 🔗 有用链接
Hard

范畴论作为数学的数学

#范畴论 #代数 #抽象数学

探讨范畴论如何提供一种抽象的结构化语言。

介绍范畴论的基本概念(对象、态射、函子)。解释为何范畴论被认为比集合论更适合作为现代数学的基础语言,特别是在描述数学结构之间的映射关系方面。