범주 (수학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) 잔글 →작은 범주 |
||
25번째 줄:
범주 <math>\mathcal C</math>에 대하여 다음 두 조건이 서로 [[동치]]이다.<ref>{{저널 인용|제목= On the size of categories |이름= Peter|성= Freyd |이름2= Ross|성2= Street |저널=Theory and Applications of Categories|권=1|날짜=1995|호=9|쪽= 174–181|url=http://tac.mta.ca/tac/volumes/1995/n9/1-09abs.html|issn=1201-561X|언어=en}}</ref>
* <math>\mathcal C</math>는 작은 범주와 [[범주의 동치|동치]]이다.
* <math>\mathcal C</math>는 국소적으로 작은 범주이며, [[준층]] 범주 <math>\operatorname{PSh}(\mathcal C)=\operatorname{Set}^{\mathcal C^{\operatorname{op}}}</math> 역시 국소적으로 작은 범주이다.
=== 반대 범주 ===
| |||