RockTec
这个作者很懒,什么都没留下…
展开
-
通俗范畴论11 对偶范畴与余积
最后,我们给出对偶范畴的定义,有了前面的铺垫,这个定义将非常自然:给定一个范畴CC,其对偶范畴通常记作CopCop或CoppositeCopposite数据:obCopobCop这个聚集和CC的对象聚集一样,即obCopobCobCopobCCopCop中 从 A 到 B 的态射聚集CopABCopAB是CC中从 B 到 A 的态射聚集CBACBA。原创 2024-08-26 21:20:08 · 67 阅读 · 0 评论 -
通俗范畴论10 泛性质(MD版)
既然泛性质可以在同构意义下唯一确定一个泛构造,那么我们就可以用泛性质来定义泛构造。我们回顾一下已经掌握的泛性质和泛构造。泛性质其实我们并不陌生,始对象和终对象,就是具有泛性质的对象,一个具有“始”的泛性质,一个具有“终”的泛性质。比如始对象,如果一个范畴里面有始对象,它到所有对象都有且只有一个态射,这样的对象可能有两个么?嗯,还真可能,但是这两个始对象同构,所以在同构意义下,它们可以看成一个,因此在同构意义下,始对象是唯一的。同理,终对象也一样。同构的始对象。原创 2024-08-17 13:33:31 · 164 阅读 · 0 评论 -
通俗范畴论10 泛性质
既然泛性质可以在同构意义下唯一确定一个泛构造,那么我们就可以用泛性质来定义泛构造。我们回顾一下已经掌握的泛性质和泛构造。泛性质其实我们并不陌生,始对象和终对象,就是具有泛性质的对象,一个具有“始”的泛性质,一个具有“终”的泛性质。比如始对象,如果一个范畴里面有始对象,它到所有对象都有且只有一个态射,这样的对象可能有两个么?嗯,还真可能,但是这两个始对象同构,所以在同构意义下,它们可以看成一个,因此在同构意义下,始对象是唯一的。同理,终对象也一样。Figure 1. 同构的始对象。原创 2024-08-08 17:13:24 · 53 阅读 · 0 评论 -
通俗范畴论9 态射的类型
那么,同构态射是一种什么样的态射,如何定义呢?请看下图:在上面这个母范畴中,如果 A、B 同构,那么,站在 A 的角度,我们希望,从 A 出发,经过 f 和 g,转一圈回来,A 还是 “原来的” A,这个怎么表达呢?我们可以这样表达:g∘f=IdA𝑔∘𝑓=𝐼𝑑𝐴,因为 IdA 是恒等态射,所以这个表达是准确的。我们从 A 出发,经过 f,到达 B,然后 g 把我们又带回了 A,而且整个复合的效果等于 IdA,g 就如同一个反操作,完全取消了 f 的效果。原创 2024-07-20 00:23:33 · 74 阅读 · 0 评论 -
通俗范畴论8 始对象与终对象
范畴C中的对象I,是始对象,当且仅当:∀A∈C,∃!我们在前文范畴的定义部分,给出了范畴的定义,范畴的定义本身,不依赖于集合论,它是公理化的,可以作为逻辑的起点,对于这个范畴的定义,因为它不依赖于已有的数学概念,因此我们给它取个名字,叫做母范畴(Meta Category)。如果 A是非空集合:因为 Set𝑆𝑒𝑡 包含所有集合对象,所以,我们总可以找到一个集合 B,使得 |B|>1|𝐵|>1,因为 |A|≥1|𝐴|≥1,所以:|B||A|≥2|𝐵||𝐴|≥2,因此任何非空集合都不可能是始对象。原创 2024-07-11 08:26:09 · 60 阅读 · 0 评论 -
通俗范畴论7 Set 集合函数范畴
我们初中就学过函数的概念,这里,我们将对函数进行重新发现。函数设 A 和 B 是任何集合,一个函数 A→fB𝐴→𝑓𝐵, 将 A 中的每一个元素 a 对应到 B 中的一个元素 f(a)。其中 A 叫做定义域(Domain),B 叫做陪域(Codomain)。从上述定义,我们可以看出,在集合 A 和 B 之间所有有序对 (a,f(a)) 构成的集合,就是函数 A→fB𝐴→𝑓𝐵。对于任何元素 a 属于 集合 A,在函数 f 中,以 a 打头的有序对 (a,_) 只有一个。原创 2024-07-01 11:45:08 · 563 阅读 · 0 评论 -
通俗范畴论6 基于关系的范畴
关系范畴(Category of Relations),通常被称为 Rel𝑅𝑒𝑙:Figure 6. 关系范畴对象(Objects):对象是集合态射(Morphisms):态射是定义在两个集合之间的关系。如果 A 和 B 是两个集合,那么从 A 到 B 的态射是一个关系 R⊆A×B,其中 R 是 A 和 B 的笛卡尔积的子集。原创 2024-06-27 15:49:52 · 71 阅读 · 0 评论 -
通俗范畴论5 范畴实例
其次,这个范畴包括了所有的集合,因此ob(Set)𝑜𝑏(𝑆𝑒𝑡),即该范畴所有对象的全体,是一个聚集,不是一个集合。在前一部分,我们看到,为了让范畴的定义适应尽可能多的情况,同时在定义时外部依赖最小,对于一个范畴,其对象的全体 ob(C)𝑜𝑏(𝐶)和任意 对象A 到 对象B 态射的全体 C(A,B)𝐶(𝐴,𝐵) 都定义为了聚集(Collection)。我们把这个构造出的范畴,取个名字,叫做Cat𝐶𝑎𝑡。所有集合构成的范畴,该范畴的对象是集合,态射是集合间的函数,态射的复合是函数的复合,又名集合函数范畴。原创 2024-06-26 00:14:51 · 51 阅读 · 0 评论 -
通俗范畴论4 范畴的定义
上一节我们在没有引入范畴这个数学概念的情况下,直接体验了一个“苹果1”范畴,建立了一个对范畴的直观。本节我们正式学习范畴的定义和基本性质。一个范畴(Category) C𝐶,由以下部分组成:数据:对象(Objects):包含若干个对象(Objects),这些对象的全体构成一个聚集(Collection),这个聚集记为 ob(C)𝑜𝑏(𝐶)原创 2024-06-24 12:09:04 · 171 阅读 · 0 评论 -
通俗范畴论3 从特指对象到对象
事实上,范畴论对象可以理解为一个静态的东西,对于苹果1,只要上图不变,苹果1对象就不变。我们从Id苹果1箭头的起点,也就是苹果1(源对象)出发,箭头就是求这个起点的对应对象(目标对象),这个起点的对应对象在箭头的终点,终点对象的名字叫苹果1,所以,源对象和目标对象同一,即源对象和目标对象是同一个对象。对象,即使世界上没有符合要求的苹果存在,苹果1作为一个范畴论对象实体,仍然存在,即,苹果1是:小丽喜欢的、小明购买的,可以称出重量,能做苹果酱的、能咬一口的东西,这个结构仍然存在,即上面的图的含义仍然存在。原创 2024-06-21 10:47:13 · 75 阅读 · 0 评论 -
通俗范畴论2 有向图与准范畴
退一步海阔天空,在正式进入范畴论之前,我们可以重新审视一下我们是如何认识世界的,有了这个对人类认识世界过程的底层理解,可以帮助我们更好地理解范畴论。对于人类认识世界,最神奇的一点就是这个世界居然是可以认识的,我们可以用自然语言描述它、我们可以用数学公式表示它,当然我们也可以用二维的图画描摹它,我们也可以把它看成三维的空间加一维的时间,也可以将三维空间和时间看成一体的,从而我们的世界是四维时空。原创 2024-06-16 14:21:33 · 216 阅读 · 0 评论 -
通俗范畴论1 范畴论的由来
要简单地说明,什么是范畴论,英国数学家、教育家尤金妮娅·程,有这样一句话:范畴论是数学中的数学。为什么范畴论是数学中的数学呢?就好比世界上所有的居所,甚至包括动物的居所哦,都有一个入口一样,数学的各个分支如果互相比较,总有一些相似的地方,如果我们把数学的不同分支看作不同的结构,那么就是说数学的各个分支,都有着一些相似的结构。而范畴论可以很好地描述不同数学分支中相似的结构,因此,我们可以将范畴论看作是数学中的数学。原创 2024-06-16 14:11:23 · 83 阅读 · 0 评论