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