原创力文档- 1、本文档共4页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
三角范畴定义中八面体公理的等价命题及其应用 - Core
第 47 卷 第 2 期 ( ) Vol . 47 No . 2
厦门大学学报 自然科学版
2008 年 3 月 J our nal of Xiamen U niver sit y (N at ural Science) Mar . 2008
三角范畴定义中八面体公理的等价命题及其应用
1 2
胡彩霞 ,陈 娟
( 1. 厦门大学数学科学学院 ,福建 厦门 36 1005 ;2 . 集美大学理学院 ,福建 厦门 36 102 1)
摘要 : 三角范畴是一个带有 自同构的加法范畴 ,并且满足 4 条公理 ,其中的 1 条重要公理是八面体公理. 由 Grot hen
dickVer dier 在上个世纪 60 年代提出的八面体公理相对于其它 3 条公理形式比较复杂 ,应用起来比较不方便. 因此研究
八面体公理的其它等价命题引起了人们的兴趣. 本文在王济荣工作的基础上给出八面体公理的第 1 个等价命题 ,再利用
对偶的思想导出八面体公理的第 2 个等价命题 。最后利用 homotop y cart esian 得到八面体公理的第 3 个等价命题 ,并利
用第 3 个等价命题简化 Peng 和 Tan 的证明.
关键词 : 三角范畴 ;八面体公理 ;homotop y cart esian
中图分类号 :O 154 . 1 文献标识码 :A 文章编号 (2008) 020 14904
[ 1] ε
定义 4 C 是预三角范畴时, 中的六元组称为
1 预备知识 三角.
定义 5[ 2] 设 C 是预三角范畴, 称 C 是三角范畴,
设 C 是加法范畴, C 上的两个态射f : X →Y , g : Y
( )
若满足 TR4 :
( )
→Z 的合成记为 gf , 态射 a , b : X Y →Z 的转置记
f a
( ) ( )
T TR4 八面体公理 设 X
文档评论（0）