작은 범주: 두 판 사이의 차이

[[범주론]]에서, '''작은 범주'''(-範疇, {{llang|en|small category}})는 그 대상의 [[모임 (집합론)|모임]]과 사상의 [[모임 (집합론)|모임]]이 충분히 “작은” [[범주 (수학)|범주]]를 말한다. 그 정확한 의미는 사용하는 수학 기초론에 따라 달라지는데, 예를 들어 [[그로텐디크 전체]]를 사용할 경우 대상과 사상의 [[집합]]이 사용되는 [[그로텐디크 전체]]의 원소이어야 한다.<ref name="Mac Lane"/>{{rp|21–26, §Ⅰ.6–7}}

[[그로텐디크 전체]] <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, §IⅠ.6}}