ここでFG:D→D,GF:C→CはそれぞれFとGの合成を表し、IC,IDは圏C,D上の恒等関手を表す。
这里FG:D→D与GF:C→C分别为F与G的复合，而IC:C→C与ID:D→D分别为C与D的恒同函子。