함자 (수학)
두 범주 사이의, 구조를 보존하는 사상 / From Wikipedia, the free encyclopedia
범주론에서 함자(函子, 영어: functor 펑크터[*] /ˈfʌŋktə(r)/)는 두 범주 사이의 함수에 해당하는 구조로, 대상을 대상으로, 사상을 사상으로 대응시킨다. 함자는 작은 범주의 범주의 사상으로 볼 수 있다.
함자의 개념은 대수적 위상수학에서 위상 공간에 대해 기본군 등의 대수적 구조를 대응시키면서 나타났다. 현재는 현대 수학의 거의 모든 분야에서 다양한 범주들 사이의 관계를 나타내기 위해 함자의 개념을 사용한다.