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

95 바이트 추가됨 ,  7년 전
편집 요약 없음
(발음 교정 ( functor=/ˈfʌŋk.tər/ ))
 
== 어원 ==
‘{{llang|de|Funktor|풍크토어}}’라는 단어는 원래 철학자 [[루돌프 카르나프]]가 1934년에 [[언어철학]]에서 정의한 용어다.<ref>{{책 인용|제목= Logische Syntax der Sprache|이름=Rudolf|성=Carnap|저자고리=루돌프 카르나프|날짜=1934}}</ref> [[사무엘 에일렌베르크]]와 [[손더스 매클레인]]이 카르나프의 용어를 ‘{{llang|en|functor|펑터펑크터}}’로 수학에 차용하였다.<ref>{{책 인용|저자고리=손더스 매클레인|이름=Saunders|성=Mac Lane|제목=Categories for the Workingworking Mathematicianmathematician|출판사=Springer-Verlag|날짜=1971|쪽=20}}</ref>
 
== 정의 ==
즉, 함자는 항등사상과 사상의 합성을 보존한다.
 
정의역과 공역이 같은 범주인 함자를 '''자기함자'''(自己函子, {{llang|en|endofunctor|엔도펑터엔도펑크터}})라고 한다.
 
=== 공변함자와 반변함자 ===
== 참고 문헌 ==
{{주석}}
 
== 바깥 고리 ==
* {{eom|title=Functor}}
* {{매스월드|id=Functor|title=Functor}}
 
[[분류:함자| ]]