范畴Fun,Nat和Adi

摘要

§l引言自然变换讨论了一类特殊的函子,一般函子之间的关系如何描述呢?例如:(?)函子F:CD(?)！函子F~*:C/R_l→D/R_2,使得有交换图(如右),其中R_1,R_2为C,D范畴中的合同关系,满足条件:(?)f,g∈Arr C(fR_(lg)(?)FfR_2Fg).而Q_(R_l),Q_(R_2)为泛函子.显然,函子F与F~*之间的关系不是自然变换所能处理的.