2-范畴中拉回的若干性质.pdfVIP

第 52 卷第5 期 Vo l. 52 No.5 厦门大学学报(自然科学版) 2013 年 9 月 Journal of Xiamen University (Natural Science) Sep. 2013 doi: 10. 6043/j. issn. 0438-0479. 2013. 05. 003 2-范畴中拉固的若干性质 王敏雄畴，刘娜 (华侨大学数学科学学院，福建泉州 362021) 摘要:从相对正合 2 范畴 S 出发，给出了 2-范畴中拉回的若干性质.首先，证明了拉回在等价意义下是存在且唯一的; 其次，设(A X A ，{J， 儿，~)为!，与 !2 的拉回，证明了 Ker(!j) 与 Ker(f~ )等价， Ker(!2) 与 Ker(!j) 等价;最后，证明 j B 2 了大方框拉回与小方框拉回之间联系的相关结论. 关键词:2-范畴;相对正合 2-范畴;拉回;核 中图分类号:0154.1;0154.2 文献标志码:A 文章编号:0438-0479(2013)05-0592-08 1 预备知识 2 2-范畴中拉固的存在性与唯一性 1963 年，Ehre臼S1口mann泸1乎ρ[口l叫- 定义 1 [9J 一个双范畴 S 包括以下几条: (i)对象类 SO 出了 2乞-范畴是特殊的双范畴. 2-范畴是范畴的抽象和 推广，因此 2 范畴理论成为范畴论的研究热点之一. (ii) 对 S 中的任意 2 个对象 A， B， 有小范 Dupont 等问类比范畴理论中的单态射、满态射，给出 畴S(A ， B). 了 2-范畴中 1-态射(完全)忠实的、(完全)余忠实的概 ( ii i)对 S 中的任意 3 个对象 A， B ， C， 有函子 4J 念. NakaokaC Abel 范畴，给出了相对正合 2-范 类比 C :S(A ,B) XS (B,C)? S(A ,C). ABC 畴的概念，并从任意的复形扩张得到上同调长 2 正合 (iv) 对 S 中的任意对象A ， 有函子 U :l→S(A ， A 序列，从而发展了 2 范畴的上同调理论. A) ， 其中 1 为以小范畴为对象构成的范畴的终对象，1 拉回与推出，在几何上分别称为纤维积与纤维余