逗号范畴
范畴论概念
逗号范畴是范畴论中一种范畴。
前置概念
设C为
范畴
。
b以下对象范畴(b↓C),对象为
,态射为h:
→
,其定义为h:c→c',h∘f=f'。即(b↓C)的对象为C的从b出发的态射,态射为以b为顶点的交换三角形。其中b,c,c'∈Ob(C),f:b→c,f':b→c'∈Mor(C)。态射复合可以由C中态射h的复合给出。
a以上对象范畴(C↓a),对象为
,态射为h:
→
,其定义为h:c→c',f=f'∘h。即(C↓a)的对象为C的结束于a的态射,态射为以a为顶点的交换三角形。其中a,c,c'∈Ob(C),f:c→a,f':c'→a∈Mor(C)。
S-b以下对象范畴(b↓S),对象为
,态射为h:
→
,其定义为h:d→d',Sh∘f=f'。其中S:D→C为函子,d∈Ob(D),f:b→Sd∈Mor(C)。
T-a以上对象范畴(T↓a),对象为
,态射为h:
→
,其定义为h:e→e',f=f'∘Th。其中T:E→C,e∈Ob(E),f:Te→a∈Mor(C)。
定义
给定一对
函子
,则逗号范畴记作(T↓S)或(T,S),为一个范畴:
其对象为
,其中e为E中对象,d为D中对象,f:Te→Sd为
态射
;
其态射为
:
→
,其中k:e→e',h:d→d',并满足f'∘Tk=Sh∘f。
相关概念
范畴C的对象c也能视为函子c:1→C。
设T为函子c:1→C,则有逗号范畴(c↓S);设S为恒等函子,则有逗号范畴(c↓C)。
设S为函子c:1→C,则有逗号范畴(T↓c);设T为恒等函子,则有逗号范畴(C↓c)。
泛态射
为逗号范畴(c↓S)的
始对象
,泛态射
为逗号范畴(T↓c)的
终对象
。
参考资料
最新修订时间:2024-05-21 16:28
条目作者
小编
资深百科编辑
目录
概述
前置概念
参考资料
Copyright©2024
闽ICP备2024072939号-1