작은 범주: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) 잔글편집 요약 없음 |
||
4번째 줄:
[[범주 (수학)|범주]]들의 [[모임 (집합론)|모임]]을 다루려면, 원하는 수학 기초론을 선택해야 한다. 여기서는 편의상 [[그로텐디크 전체]]를 사용하자.
[[그로텐디크 전체]] <math>\mathcal U</math>가 주어졌다고 하자. <math>\mathcal U</math>-'''작은 범주''' <math>\mathcal C</math>는 다음 조건을 만족시키는 [[범주 (수학)|범주]]이다.<ref name="Mac Lane">{{서적 인용 |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|언어=en }}</ref>{{rp|22, §Ⅰ.6}}<ref name="KS">{{서적 인용 | last=Kashiwara | first=Masaki | 이름2=Pierre |성2=Schapira | title=Categories and
</ref>{{rp|§6}}<ref name="ML69">{{서적 인용|장=One universe as a foundation for category theory|이름=Saunders|성=Mac Lane|저자고리=손더스 매클레인|제목=Reports of the Midwest Category Seminar Ⅲ|날짜=1969|isbn= 978-3-540-04625-7 |총서=Lecture Notes in Mathematics|권=106|issn=0075-8434|doi=10.1007/BFb0059147|출판사=Springer-Verlag|쪽=192–200|editor1-first=Saunders|editor1-last=Mac Lane|editor1-link=손더스 매클레인|zbl=0211.32202|언어=en}}</ref>{{rp|196}}
* <math>\mathcal C</math>의 대상들은 [[집합]] <math>\operatorname{Ob}(\mathcal C)</math>을 이루며, 이는 <math>\mathcal U</math>의 원소이다.
| |||