자연 변환: 두 판 사이의 차이

:<math>\eta_YF(f)=G(f)\eta_X</math>.

즉, 다음 [[그림 (범주론)|그림]]이 가환하여야 한다.

 

마찬가지로, 반변 [[펑터]] <math>F,G\colon\mathcal C\to\mathcal D^{\operatorname{op}}</math> 사이의 자연 변환도 정의할 수 있다.

 

[[분류:펑터]]