수반 함자: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
→바깥 고리: 봇: 인용 틀 변수 이름 수정 |
→프레이드 수반 함자 정리: 봇: 인용 틀 변수 이름 수정 |
||
45번째 줄:
** [[국소적으로 작은 범주]]이다.
* <math>\mathcal C</math>는 범주이다.
'''프레이드 수반 함자 정리'''({{llang|en|Freyd adjoint functor theorem}})에 따르면, 함자 <math>G\colon\mathcal D\to\mathcal C</math>에 대하여 다음 두 조건이 서로 [[동치]]이다.<ref name="MacLane">{{서적 인용 |last=Mac Lane |first=Saunders |저자고리=손더스 매클레인|제목=Categories for the working mathematician |publisher=Springer |날짜=1998 |판=2 |series=Graduate Texts in Mathematics|issn=0072-5285|권= 5 |isbn=978-1-4419-3123-8 | zbl=0906.18001 | mr=1712872 |doi=10.1007/978-1-4757-4721-8|
* <math>G</math>는 왼쪽 수반 함자를 갖는다.
* <math>G</math>는 모든 작은 [[극한 (범주론)|극한]]을 보존하며, '''해집합 조건'''을 만족시킨다.
| |||