수반 함자: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
잔글편집 요약 없음 |
||
73번째 줄:
'''특수 수반 함자 정리'''({{llang|en|special adjoint functor theorem}})에 따르면, 함자 <math>G\colon\mathcal D\to\mathcal C</math>에 대하여 다음 두 조건이 서로 [[동치]]이다.<ref name="MacLane"/>{{rp|129, Theorem V.8.2}}
* <math>G</math>는 왼쪽 수반 함자를 갖는다.
* <math>G</math>는 모든 작은 [[극한 (범주론)|극한]]을 보존하며, [[단사 사상]]들의 ([[집합]]이 아닐 수 있는) [[모임 (
== 예 ==
|