范畴论 · 大方的羽毛球 · 哲学研究 数学 · 1 年前 2021年12月13日 ... 换句话说,使用范畴论的语言,我们自然而然地会在同构的意义下理解数学。但同构只是数学研究中等价关系中的一种;对于不同的等价关系,我们需要有一种更为;... |
范畴论 · 大方的羽毛球 · 汪涌豪 理论体系 中国古代文学 文学 · 1 年前 然而综合思维并非毫无逻辑的思维方式,具象直觉也并不一概拒绝抽象的析理。从人类思维发生发展的历史角度来看,一个富有辩正性的思想体系和范畴体系,更不一定缺乏对形式和;... |
范畴论 · 大方的羽毛球 · 自然数 笛卡尔积 数学 集合论 · 1 年前 2021年10月24日 ... 对大部分人而言,范畴论并不应该被理解成数学的一个分支;数理逻辑和范畴论在某种意义上都可以说是谈论数学对象的语言。数学对象已是抽象的了,谈论抽象;... |
范畴论 · 大方的羽毛球 · 测试报告 计算机科学 软件 · 1 年前 陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范范畴论毫无意义更多下载资源、学习资料请访问CSDN文库频道. |
范畴论 · 大方的羽毛球 · 符号计算 逻辑符号 集合符号 数学 · 1 年前 然而,我想立刻补充一点,同样的想法也适用于范畴论,它在诸多方面比集合论更强大, ... 这即是我们所说的“集合”:一种符号,它自身毫无意义,更不用说它有什么指涉。 |
范畴论 · 大方的羽毛球 · 视觉文化 平面广告 · 1 年前 2020年4月20日 ... 提出平面广告视觉符号意义三级递进系统。结论范畴是高度抽象的类,皮尔斯将所有事物分为第一性、第二性、第三性三个范畴。从受众心理过程看,平面广告;... |
范畴论 · 大方的羽毛球 · 数学 · 1 年前 2019年11月6日 ... 现在为了描写量子材料中的量子纠缠,范畴论也正在走进物理。 ... 不仅如此,还有集合论、群论、线性代数、拓扑学、图论、微分几何等等,这些看上去;... |
范畴论 · 大方的羽毛球 · 函数式编程 代数 群论 数学 · 1 年前 2018年8月19日 ... 范畴论. 把很多代数群一起来研究,看看有各个代数群之间有什么共通的特性;. 常用术语. Functor;... |
范畴论 · 大方的羽毛球 · 代数 群论 数学 拓扑学 · 1 年前 而线性代数中的矩阵,如果讨论加法是一种特殊的群,讨论乘法和加法是一个环。而n阶可逆方阵组成的集合对于乘法又是群。 可见群的范畴很广泛。 图论跟群论,;... |
范畴论 · 大方的羽毛球 · 逻辑学 · 1 年前 类型论–范畴论–逻辑学类比指三种理论间构造的对应关系. |
范畴论 · 大方的羽毛球 · 课程 数学 · 1 年前 2021年9月10日 ... 第一季课程以打造“人人可学”的入门课程为目标,让大家了解范畴论这样一门现代数学语言,克服传统学习范畴论的抽象和前置知识的障碍,从相当低的起点组织;... |
范畴论 · 大方的羽毛球 · 众妙之门 基础数学 物理 数学 · 1 年前 2019年10月16日 ... 事实上,范畴论除了作为一种极端抽象的数学理论之外,也已经应用到了物理学领域来描写多体量子纠缠(也就是拓扑序)这种全新的自然现象。在后记中,「返朴;... |
范畴论 · 大方的羽毛球 · 数学 · 1 年前 2021年3月18日 ... 因此,尽管代数和几何是很不相同的数学领域,但这种联系表明,它们之间存在着内在关联。不仅如此,还有集合论、群论、线性代数、拓扑学、图论、微分几何等;... |
范畴论 · 大方的羽毛球 · 数学集合 集合运算 公理系统 集合论 · 1 年前 这一部分的工作是为了保证范畴定义的严谨性——当然在实践中, 这些往往并非必须掌握的(这可以类比, 在分析、代数、几何等学科中一般无需考虑公理集合论来界定某个"集合";... |
范畴论 · 大方的羽毛球 · 集合运算 自然数 笛卡尔积 集合论 · 1 年前 2021年11月16日 ... 当我们拿到一个抽象的数学对象,无论它是某个拓扑空间,还是一个群或者向量空间,亦或是一个光滑流形等等,我们可能想到的第一个问题便是这个对象是由哪些;... |
范畴论 · 大方的羽毛球 · 拓扑 数学 · 1 年前 因此,尽管代数和几何是很不相同的数学领域,但这种联系表明,它们之间存在着内在关联。不仅如此,还有集合论、群论、线性代数、拓扑学、图论、微分几何等等,这些看上去;... |