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

10 바이트 추가됨 ,  4년 전
잔글
잔글 (→‎정의)
태그: 2017 원본 편집
다시 말해, 함자는 항등사상과 사상의 합성을 보존한다.
 
정의역과 공역이 같은 범주인 함자를 '''[[자기 함자]]'''(自己函子, {{llang|en|endofunctor|엔도펑크터}})라고 한다. 이는자기 함자는 [[작은 범주]]로 이루어진 범주 <math>\operatorname{Cat}</math>의 [[자기 사상]]이기도 하다.
 
=== 공변함자와 반변함자 ===