本文的工作分为三部分.第一部分是通过自然变换n：F→ G：A→B建立了自然变换范畴NAT(n)，然后从范畴角度讨论了自然变换的性质.首先......

引进了自然变换函子的概念，建立了自然同构与伴随间的一类等价关系，系统研究了伴随上的自然变换，主要结果：设〈Ｆ，Ｋ１，η１，ε１〉：Ｘ→Ａ，〈Ｇ，Ｋ２，η２，ε２〉：Ｘ→Ａ，ｎ：Ｆ→Ｇ，ｍ：Ｋ１→......