수반 펑터

위키백과 ― 우리 모두의 백과사전.

수학에서 수반 펑터(adjoint functor)는 두 개의 펑터가 서로간에 가질 수 있는 일종의 밀접한 관계이다. 이는 수학의 많은 분야에서 널리 나타나는 관계이며, 범주론의 연구 대상이다.

[편집] 정의

C와 D가 범주이고, F : C → D와 G : D → C가 펑터라 하자. 이때 C의 임의의 대상 X와 D의 임의의 대상 Y에 대해 동형사상 ΦX,Y : HomD(F(X),Y) → HomC(X,G(Y))들로 이루어진 자연동형사상 Φ : HomD(F–, –) → HomC(–, G–)이 존재할 경우, F를 G의 좌 수반 펑터라 하고, G를 F의 우 수반 펑터라 하며, 많은 경우 좌우를 구분하지 않고 이들이 서로에 대해 수반 펑터라고도 한다.