함자 (수학): 두 판 사이의 차이

내용 삭제됨 내용 추가됨
17번째 줄:
정의역과 공역이 같은 범주인 함자를 '''자기함자'''(自己函子, {{llang|en|endofunctor|엔도펑터}})라고 한다.
 
=== 공변함자과공변함자와 반변함자 ===
수학에서는 사상의 방향을 바꾸는 함자를 생각해야 하는 경우도 많이 있다. 따라서 F가 C에서 D로의 '''반변함자'''(反變函子, {{llang|en|contravariant functor}})는 다음과 같은 데이터로 구성된다.
* C의 임의의 대상 X에 대해 대응되는 D의 대상 <math>F(X)</math>