范畴NAT（n）及其半伴随上的自然变更.pdf

范畴NAT(n)及其半伴随上的自然变换 摘要 本文的工作分为三部分．第一部分是通过自然变换 n：F斗G：A—B建立了自然变换范畴NAT(n)，然后从范畴角 度讨论了自然变换的性质．首先得到了F，G为加法范畴间加法 函子时，NAT(n)也是加法范畴．其次，讨论了自然变换函子 n的性质，得到了，，G和自然变换函子在可加性和忠实性 上的关系，最后，当F，G为Abel范畴间忠实加法函子时，证明 了自然变换范畴ⅣAr(，1)是Abel范畴． 第二部分研究了半函子的性质．首先引入了扩张的概念， 利用态射集间的关系来刻划半函子与函子之间的转化．其次， 定义了半函子间正则自然变换，进一步得到半函子间正则自然 变换与函子间自然变换的等价关系． 第三部分主要讨论了半伴随上的自然变换．先讨论了半伴 随基本性质，引入了函子左(右)正则的概念，从而得到了半伴 随的两个等价命题．在此基础上又推广了自然变换函子，从而 得到半伴随上自然变换同构的等价判别条件： 关键词 自然变换，自然变换函予，半函子，半伴随，正则自然变换 CATEGORY NATURALTRANSFORMATIONON NAT(n)AND SEMI-ADJO玳TS ABSTRACT Thisthesisis intothree the divided first natural parts．In part,the transformation constructeda via trans— NAT(n)is natural category formation andthen．the n：F—争G：A—B of naturaltrans- properties in formationsarediscusseda isshownthat viewpoint．First。it categorical when ale F，G additivefunctorsbetweenadditive an alsoadditive on relations and faithful— category．Second，theadditivity hess betweenF。Gandthenatural transformationfunctorale obtained the ofnatural bydiscussing transformation properties