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