작은 범주

틀:위키데이터 속성 추적 범주론에서 작은 범주(-範疇, 틀:Llang)는 그 대상의 모임과 사상의 모임이 충분히 “작은” 범주를 말한다. 그 정확한 의미는 사용하는 수학 기초론에 따라 달라지는데, 예를 들어 그로텐디크 전체를 사용할 경우 대상과 사상의 집합이 사용되는 그로텐디크 전체의 원소이어야 한다.틀:Rp

정의

범주들의 모임을 다루려면, 원하는 수학 기초론을 선택해야 한다. 여기서는 편의상 그로텐디크 전체를 사용하자.

그로텐디크 전체 $𝒰$가 주어졌다고 하자. $𝒰$-작은 범주 $𝒞$는 다음 조건을 만족시키는 범주이다.틀:Rp틀:Rp틀:Rp틀:Rp

• $𝒞$의 대상들은 집합 $\mathrm{Ob}(𝒞)$을 이루며, 이는 $𝒰$의 원소이다.
• $𝒞$의 사상들은 집합 $\mathrm{Mor}(𝒞)$을 이루며, 이는 $𝒰$의 원소이다.

$𝒰$-작은 범주들과, 그 사이의 함자들과, 그 사이의 자연 변환들은 2-범주를 이룬다. 이를 ${\mathrm{Cat}}_{𝒰}$라고 표기하자.

국소적으로 작은 범주

임의의 범주 $𝒞$가 다음 조건을 만족시킨다면, $𝒰$-국소적으로 작은 범주($𝒰$-局所的으로 작은範疇, 틀:Llang)라고 한다.틀:Rp

• 임의의 두 대상 $X,Y\in \mathrm{Ob}(𝒞)$에 대하여, ${\mathrm{hom}}_{𝒞}(X,Y)\in 𝒰$이다.

연산

${\mathrm{Cat}}_{𝒰}$는 $𝒰$-완비 범주이자 $𝒰$-쌍대 완비 범주이다. 즉, 임의의 $𝒰$-작은 범주 $ℐ$ 및 함자

$D:ℐ\to {\mathrm{Cat}}_{𝒰}$

에 대하여, $D$는 극한과 쌍대극한을 갖는다. 특히,

• ${\mathrm{Cat}}_{𝒰}$의 시작 대상은 $\mathrm{Ob}(0)=\mathrm{Mor}(0)=\varnothing$인 유일한 범주 $0$이다.
• ${\mathrm{Cat}}_{𝒰}$의 끝 대상은 $\mathrm{Ob}(1)=\{\bullet \}$ (한원소 집합)이며, $\mathrm{Mor}(1)=\{{\mathrm{id}}_{\bullet }\}$인 유일한 범주 $1$이다. (이를 준군으로 간주하면, 이는 자명군에 해당한다.)

${\mathrm{Cat}}_{𝒰}$는 $𝒰$-국소적으로 작은 데카르트 닫힌 범주이며, 이 경우 지수 대상 $\mathrm{hom}(-,-)$은 (두 $𝒰$-작은 범주 사이의) 함자와 자연 변환의 범주 ${\mathrm{hom}}_{\mathrm{Cat}}(-,-)$이다. 다시 말해, 두 $𝒰$-작은 범주 사이의 함자 범주는 $𝒰$-작은 범주이다.틀:Rp

성질

$𝒰$-국소적으로 작은 범주 $𝒞$가 다음 조건을 만족시킨다고 하자.

• 임의의 기수 $\kappa \le |𝒰|$와 임의의 대상 $X\in 𝒞$에 대하여, 곱 $X^{\times \kappa }$이 존재한다.

그렇다면 $𝒞$는 원순서 집합이다. 틀:Rp즉, 임의의 두 대상 사이의 사상의 수는 1개 이하이다.

증명:

임의의 두 대상 $X,Y\in 𝒞$이 주어졌다고 하자. 이제,

$|{\mathrm{hom}}_{𝒞}(X,Y)|\le 1$

임을 보이면 족하다.

사상 집합

${\mathrm{hom}}_{𝒞}(X,Y^{|𝒰|})$

의 크기는 (각 성분마다 ${\mathrm{hom}}_{𝒞}(X,Y)$의 한 원소를 고를 수 있으므로) 다음과 같다.

$|{\mathrm{hom}}_{𝒞}(X,Y^{|\mathrm{Mor}(𝒞)|})|=|{\mathrm{hom}}_{𝒞}(X,Y){|}^{|𝒰|}$

(여기서 우변은 기수의 거듭제곱이다.) 그런데 정의에 따라

$|{\mathrm{hom}}_{𝒞}(X,Y^{|𝒰|})|<|𝒰|$

이므로, 칸토어의 정리에 따라서 $|{\mathrm{hom}}_{𝒞}(X,Y)|\le 1$이다.

범주 $𝒞$에 대하여 다음 두 조건이 서로 동치이다.

• $𝒞$는 $𝒰$-작은 범주와 동치이다.
• $𝒞$는 $𝒰$-국소적으로 작은 범주이며, 준층 범주 $\mathrm{PSh}(𝒞)={\mathrm{Set}}_{𝒰}^{{𝒞}^{\mathrm{op}}}$ 역시 $𝒰$-국소적으로 작은 범주이다.

함자

${\mathrm{Set}}_{𝒰}$가 $𝒰$-작은 집합과 함수의 범주라고 하자. 즉, 다음과 같은 범주라고 하자.

• $\mathrm{Ob}({\mathrm{Set}}_{𝒰})=𝒰$
• ${\mathrm{Set}}_{𝒰}$의 사상은 $𝒰$에 속하는 함수이다.

그렇다면, 망각 함자

$\mathrm{Ob}:{\mathrm{Cat}}_{𝒰}\to {\mathrm{Set}}_{𝒰}$

$\mathrm{Ob}:𝒞\mapsto \mathrm{Ob}(𝒰)$

가 존재한다. 이는 오른쪽 수반 함자를 가지며, 이는 임의의 집합 $S$를 다음과 같은 범주로 대응시킨다.

• 대상은 $S$의 원소이다.
• 모든 사상은 항등 사상이다.

예

임의의 $𝒰$-작은 아벨 범주 $𝒜$에 대하여, 그 유도 범주 $\mathrm{D}(𝒜)$를 취할 수 있다. 그러나 일반적으로 $\mathrm{D}(𝒜)$는 $𝒰$-작은 범주가 아니며, 이를 다루려면 더 큰 그로텐디크 전체를 사용하거나, 또는 그로텐디크 아벨 범주 조건을 가정해야 한다.

칸토어 역설에 따라, ${\mathrm{Cat}}_{𝒰}$는 ${\mathrm{Cat}}_{𝒰}$의 대상이 아니다. 다만, $𝒰$를 포함하는 더 큰 그로텐디크 전체 ${𝒰}^{\prime }\ni 𝒰$이 주어졌을 때, ${\mathrm{Cat}}_{𝒰}$는 ${\mathrm{Cat}}_{{𝒰}^{\prime }}$의 대상이 되며, 이 경우 포함 함자

${\mathrm{Cat}}_{𝒰}\hookrightarrow {\mathrm{Cat}}_{{𝒰}^{\prime }}$

가 주어진다.

외부 링크

• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용