수반 함자: 두 판 사이의 차이

이 경우, <math>F</math>를 <math>G</math>의 '''왼쪽 수반 함자'''(-隨伴函子, {{llang|en|left-adjoint functor}}))라고 하고, <math>G</math>를 <math>F</math>의 '''오른쪽 수반 함자'''(-隨伴函子, {{llang|en|right-adjoint functor}})라고 하며, <math>\epsilon</math>은 '''쌍대단위원'''(雙對單位元, {{llang|en|counit}}), <math>\eta</math>는 '''단위원'''(單位元, {{llang|en|unit}})이라고 한다. 이는 기호로