自然范畴的一点注记.pdfVIP

第22卷第4期 宁德师专学报(自然科学版) V01．22No．4 of Teachers Nov．2010 2010年11月 Journal Science) Ningde College(Natural 自然范畴的一点注记 王静1,2，辛慧凡1 (1．福建师范大学数学与计算机科学学院，福建福州350007；2．宁德职业技术学院，福建福安355000) 底函子，p：M。是自然变换．给出由“和11分别确定的自然范畴胞(曲与Natn)间的关系，最后用一个例子 说明了这个关系． 关键词：自然变换；自然范畴；忠实函子 中图分类号：0154．1 文献标码：A 文章编号：10(O-2911(20LO)04-0350--03 自然变换是范畴学中的最基本的概念，在现代微分几何、计算机科学中有着极其广泛的应用．计算 机理论的模块化规范理论也主要是运用了函子和自然变换的概念，许多研究者在这方面做了重要的工 作．本文讨论了由顶函子和底函子间的自然变换确定的自然范畴和一般函子间的自然变换确定的自然 范畴之间的关系，并用一个例子表明这种关系． 1 预备知识 本节记号均来卧1]． --*Homc妞((cI，1)，(C2．1))：f卜÷(f，11)，称此为底函子． 则p：7E—TI是自然变换· (。．’0) ◆(ct，1) 2 自然范畴Nat㈧与Nat(r1) 文【2】首先构造出了自然范畴，文【3】和【4】对自然范畴 ／～ f lO) 做了深入的研究，本节进一步探讨自然范畴Nat㈨与 Nat(f／)之间的关系． V ( IJv印 ◆(c：，1) 设C，D是两个范畴，S，T：C-·D是两个函子，，7：S—T b∈Cj VC—b，(Sf,V0：叼-_1b使下列关系可交换：(见下图) (3)态射合成是自然的，即若f．a_÷b，g：nc，则(Sg，Tg) Sf S(a) ◆sO,) 。(Sf,Tf)=(S(gO，T(gO． 引理1 设Cp是两个范畴，S．T：C_D是两个函 子，竹：S—T是自然变换，则存在唯一的函子F．C×2一D， 叫 使得lj‰=仉，Vc∈C且n讧S，vr。蚵． V 证明 品 ◆TO,、 构造F：C×2一D使得(1)F(c，0)=S(c)和V(c，1)= 收稿日期：20lO-09—20 作者简介：王静(1982一)，女．助教。福建宁德人，主要从事代数学研究． E-mail：2001530042@163．COIII 第4期 王静辛慧凡：自然范畴的一点注记 ·351· C， T(c)。Vc∈C；(2)VCDC：E F：Hom，啦((cI，0)，(c2，o))一HomIIS(cJ)，S(c2))：(C1 J)卜 T(f) 系可交换：(见下图) 故F(f，￡)=T(f)o7。1=7／aoS(0：S(c1)．_T(c2)，贝0(1)Vf：cl—+c2，g：cj—+c3∈C。