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

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
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>는 모든 작은 [[극한 (범주론)|극한]]을 보존하며, [[단사 사상]]들의 ([[집합]]이 아닐 수 있는) [[모임 (집합론수학)|모임]]의 [[당김 (범주론)|당김]]을 보존한다.
 
== 예 ==