수반 함자: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
45번째 줄:
의 왼쪽 수반 함자를 이룬다.
:<math>-\times X\dashv(-)^X</math>
[[집합]]과 [[함수]]의 범주에서의 곱-지수 수반은 [[커링]]이라고 한다.
다른 범주의 경우, 지수 대상 함자가 왼쪽 수반을 가지지만, 이 함자가 범주론적 [[곱 (범주론)|곱]]이 아닌 경우가 있다. 이 경우, 왼쪽 수반은 보통 '''[[텐서곱]]'''이라고 한다. (예를 들어, 유한 차원 벡터 공간의 범주의 경우 텐서곱은 통상적인 벡터 공간의 텐서곱 <math>\otimes</math>이다.)
| |||