关于伴随函子的等价定义  

On equivalent definitions of the adjoint functors

作　　者：刘洋[1] 王正萍[2] 许庆兵[2] 

机构地区：[1]滁州学院数学科学院,安徽滁州239000 [2]滁州职业技术学院基础部,安徽滁州239000

出　　处：《佛山科学技术学院学报（自然科学版）》2014年第1期12-16,共5页Journal of Foshan University(Natural Science Edition)

基　　金：安徽省高校省级自然科学基金资助项目(KJ2012Z300);安徽省教育厅自然科学基金资助项目(KJ20111B119)

摘　　要：伴随是范畴论中最重要的概念之一,其定义涉及多个量且难以理解。介绍了伴随函子的几个等价定义,证明了各个定义的相互等价性,从而可以更加直观地理解伴随函子的定义,并给出了伴随函子的应用例子。The notion of adjunction is one of the most important concept in category, it is one of the hardest to understand due to the large numbers of entities involved. In this paper, different definitions of adjoint functors and their equivalences are proved. We attempt to provide some intuitive understanding of adjunvtion with examples of adjoint functor as given.

关 键 词：范畴 函子 伴随对 

分 类 号：O154.1[理学—数学]