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

[[범주론]]에서, '''자연 변환'''({{lang|ko-Hani|自然變換}}, {{lang|en|natural transformation}})은 두 [[펑터]] 사이에 [[범주 (수학)|범주]]적 구조를 보존하는 변환이다. 펑터의 범주에서의 [[사상 (범주론)|사상]]으로 생각할 수 있다.

'''자연동형사상'''({{lang|ko-Hani|自然同形寫像}}, {{lang|en|natural isomorphism}})은 모든 <math>\eta_X</math>가 [[동형사상]]을 이루는 자연 변환 <math>\eta</math>이다. 두 펑터 사이에 자연동형사상이 존재하는 경우, 두 펑터가 '''자연동형'''({{lang|en|naturally isomorphic}})이라고 한다.