茶年 · 中文维基百科

逗号范畴

Wikipedia · 2026-05-26 维基百科 👁 1 阅读

在数学中，逗号范畴（特例：切片范畴）为范畴论的一类构造，提供了看待态射的一个不同的角度：不仅是简单地从范畴的一个对象联系到另一个对象，态射本身亦是另一个对象。这一记号由 F. W. Lawvere 在 1963 年引入，最开始并不广为人知。多个数学概念可处理为逗号范畴，逗号范畴本身亦确保部分极限和余极限存在。逗号范畴这一名称来自 Lawvere 的原始记号，使用了逗号表示该结构，不过现已由于视觉上易混淆而不采用该记号，而 Lawvere 本人亦不喜欢不提供额外信息的命名 “逗号范畴”。

其他变体
在切片与余切片范畴的情形中, 单位函子有时由其他某个函子替代, 这产生了一定程度上在伴随函子研究中有用的范畴族. 例如, 若 T 为将Abel群范畴投射到其基集合範疇的遗忘函子, 而
s 为某给定集 (视作从 \textbf{1} 出发的范畴), 则逗号范畴
(s\downarrow T) 以从
s 到某群的基集合的映射为对象. 这亦关联到
T 的左伴随, 即投射集合到以该集为基集合的自由 Abel 群的函子. 某种程度上,
(s\downarrow T) 的始对象为典范内射
s\to T(G), 其中
G 为
s 生成的自由群.

(s\downarrow T) 的对象称作*从 s 到 T 的态射或有域 s 的 T-结构化箭头*. 且投射函子 (S\downarrow T) \rightarrow \mathcal{A} 和 (S\downarrow T) \rightarrow \mathcal{B} 均连续. 类似地, 若 \mathcal{A} 和 \mathcal{B} 余完全, 而 S \colon \mathcal{A} \rightarrow \mathcal{C} 余连续, 则 (S \downarrow T) 亦余完全, 投射函子亦余连续.

例如, 沿用前述图范畴之记号, 视其作逗号范畴, 则集合范畴完全且余完全, 而其单位函子连续且余连续. 因此图范畴完全且余完全.

抵达于选定余极限或出发于选定极限的万有态射, 可以逗号范畴的形式表示. 本质上是创建对象为锥, 且极限锥为终对象的范畴, 然后, 极限的每个万有态射即到终对象的态射. 这一工作在对偶情形中, 即对象为拥有始对象的余锥的范畴. 例如, 令 \mathcal{C} 为范畴, 且函子 F : \mathcal{C} \rightarrow \mathcal{C} \times \mathcal{C} 递送每个对象

c 到

(c,\,c), 每个箭头

f 到

(f,\,f). 从

(a,\,b) 到

F 的万有态射据定义含对象

(c,\,c) 与携万有性质的态射

\rho\colon\,(a,\,a)\to(b,\,b), 使得对任意态射 \rho\colon\,(a,\,b)\to(d,\,d) 总存在唯一态射 \sigma : c \rightarrow d 满足 F(\sigma) \circ \rho = \rho'. 换言之, 这是在逗号范畴 ((a, b) \downarrow F) 中的对象, 到该范畴中的任何其他对象均存在态射, 即始对象. 这也用于定义 \mathcal{C} 中的余积, 只要其存在.

伴随
William Lawvere 证明, 函子 F : \mathcal{C} \rightarrow \mathcal{D} 与 G : \mathcal{D} \rightarrow \mathcal{C} 为伴随对, 当且仅当分别以

id_\mathcal D 和

id_\mathcal C 为单位函子的逗号范畴 (F \downarrow id_\mathcal{D}) 和 (id_\mathcal{C} \downarrow G) 同构, 而改逗号范畴中的等价元可投射于 \mathcal{C} \times \mathcal{D} 中的相同元. 这使得伴随得以不必涉及集合来序数, 而实际上这也是引入逗号范畴的最初动机.

自然变换
若 S, T 的域相同, 则在 S\downarrow T 中以 A=B, A'=B', f=g 定义的图将与定义自然变换 S\to T 的图同一. 两个极好的不同在于, 自然变换是结构 S(A)\to T(A) 型态射的特定总体, 而逗号范畴的对象涵盖所有如此结构形态射. 到达逗号范畴的函子选定这一特定态射总体. 这也由 S.A. Huq 的观点描述为, 给定 S, T:\mathcal A \to \mathcal C, 自然变换 \eta:S\to T 相当于映射每个元 A 到 (A, A, \eta_A), 每个态射 f=g 到 (f, g) 的函子 \mathcal A \to (S\downarrow T), 这是自然变换 S\to T 和函子 \mathcal A \to (S\downarrow T) 间的双射对应, 这是从 S\downarrow T 出发的两个遗忘函子的截面.

参考文献
*

外部链接

#範疇論中的範疇

评论 (0)

  • 还没有评论，来抢沙发吧。