|
[[범주론]]에서 '''펑터함자'''(函子, {{llang|en|functor|펑터}})는 범주들두 사이에[[범주 정의된(수학)|범주]] 일종의사이의 사상이다함수에 해당하는 구조로, 대상을 대상으로, 사상을 사상으로 대응시킨다. 이는 함자는 [[작은 범주의 범주]]의 [[사상 (범주론)|사상]]으로 볼 수 있다.
펑터의함자의 개념은 [[대수적 위상수학]]에서 [[위상공간 (수학)|위상공간]]에 대해 [[기본군]] 등의 대수적 구조를 대응시키면서 나타났다. 현재는 현대 수학의 거의 모든 분야에서 다양한 범주들 사이의 관계를 나타내기 위해 펑터의함자의 개념을 사용한다. "Functor"(펑터)라는 단어는 철학자 [[루돌프 카르나프]]로부터 수학자들이 빌려쓴 것이다.<ref>[[손더스 매클레인|Saunders Mac Lane]], 《Categories for the Working Mathematician》, Springer-Verlag, 1971, 20쪽</ref>
== 어원 ==
‘{{llang|en|functor|펑터}}’라는 단어는 원래 철학자 [[루돌프 카르나프]]가 [[언어철학]]에서 정의한 용어다. [[사무엘 에일렌베르크]]와 [[손더스 매클레인]]이 카르나프의 용어를 수학에 차용하였다.<ref>{{책 인용|저자고리=손더스 매클레인|이름=Saunders|성=Mac Lane|제목=Categories for the Working Mathematician|출판사=Springer-Verlag|날짜=1971|쪽=20}}</ref>
== 정의 ==
C와 D가 [[범주 (수학)|범주]]라 하자. 이때 F가 C에서 D로의 '''펑터함자'''라는 것은
* C의 임의의 대상 X에 대해 D의 대상 F(X)가 대응되며,
* C의 임의의 사상 f:X -> Y에 대해 D의 사상 F(f):F(X) -> F(Y)가 대응되고,
* C의 임의의 사상 <math>f:X \rightarrow Y</math>와 <math>g:Y\rightarrow Z</math>에 대해 <math>F(g \circ f) = F(g) \circ F(f)</math>임을 말한다.
즉, 펑터는 항등사상과 사상의 합성을 보존한다. 정의역과 공역이 같은 범주인 펑터를 '''자기펑터자기함자'''({{llang|en|endofunctor|엔도펑터}})라고 한다.
=== 공변성과 반변성 ===
수학에서는 사상의 방향을 바꾸는 펑터를함자를 생각해야 하는 경우도 많이 있다. 따라서 F가 C에서 D로의 '''반변펑터반변함자'''({{llang|en|contravariant functor}})라는 것을 다음의 경우로 정의한다:
* C의 임의의 대상 X에 대해 D의 대상 F(X)가 대응되며,
* C의 임의의 사상 f:X -> Y에 대해 D의 사상 F(f):F(Y) -> F(X)가 대응되고,
* C의 임의의 사상 <math>f:X \rightarrow Y</math>와 <math>g:Y\rightarrow Z</math>에 대해 <math>F(f \circ g) = F(g) \circ F(f)</math>이다.
반변펑터가반변함자가 합성사상을 보낼 때 두 사상의 순서가 바뀜에 주의하라. 위에서 정의한 사상의 방향을 바꾸지 않는 보통의 펑터는 반변펑터와 구분하기 위해 '''공변펑터공변함자'''({{llang|en|covariant functor}})라고 한다. 다른 방법으로, 범주의 반변펑터라는반변함자를 것을 그 [[쌍대범주]]의 공변펑터로공변함자로서 정의할 수도 있다. 일부 저자들은 모든 펑터를함자를 공변적으로 서술하는 쪽을 선호하며, 따라서 <math>F: C\rightarrow D</math>가 반변펑터라고반변함자라고 말하는 대신 <math>F: C^{op} \rightarrow D</math>(혹은 <math>F:C \rightarrow D^{op}</math>)가 펑터라고(공변)함자라고 말한다.
== 예 ==
'''상수 펑터함자'''({{llang|en|identity functor}}): C의 모든 대상에 대해 D의 특정한 대상 X를 대응시키고, C의 모든 사상에 대해 X 상의 항등사상을 대응시키는 펑터를 '''상수 펑터함자''' 혹은 '''선택 펑터함자'''라고 한다.
'''대각 펑터함자'''({{llang|en|diagonal functor}}): D의 대상 X를 X 상의 상수 펑터로 보내는 펑터를 '''[[대각 펑터함자]]'''라고 한다. 이는 D에서 펑터함자 범주 D<sup>C</sup>로의 펑터이다.
== 참고자료참고 문헌 ==
{{주석}}
<references/>
[[분류:펑터| ]]
| 