체 (범주론)

범주론에서 체(영어: sieve, 프랑스어: crible)는 주어진 대상을 향하는 일부 사상들을 골라 내는 구조이며, 추상적으로 표현 가능 준층의 부분 준층이다. 작은 범주 위에서, 모든 체들의 집합을 대응시키는 준층은 준층 토포스의 부분 대상 분류자를 이룬다. 체의 개념은 그로텐디크 위상을 정의할 때 사용된다.

정의[편집]

범주 ${\mathcal {C}}$ 및 그 위의 대상 $U\in {\mathcal {C}}$ 가 주어졌다고 하자. 그렇다면, $U$ 위의 체는 다음과 같이 두 가지로 정의할 수 있다.

"체"라는 용어는 체 $S$ 가 $U$ 로 향하는 특정 사상들을 마치 체로 치듯 골라 내기 때문이다.

추상적 정의[편집]

국소적으로 작은 범주 ${\mathcal {C}}$ 위의 대상 $U\in {\mathcal {C}}$ 위의 체 $S$ 는 표현 가능 준층 $\hom(-,U)\in \operatorname {PSh} ({\mathcal {C}})$ 의 부분 준층이다. 즉, 다음 성질을 만족시키는 준층 $S\in \operatorname {PSh} ({\mathcal {C}})$ 이다.

모든 $V\in {\mathcal {C}}$ 에 대하여, $S(V)\subset \hom(V,U)$
모든 $f\in \hom _{\mathcal {C}}(V,W)$ 에 대하여, $S(f)\colon S(W)\to S(V);g\mapsto g\circ f.$

구체적 정의[편집]

범주 ${\mathcal {C}}$ 위의 대상 $U\in {\mathcal {C}}$ 위의 체는 다음 조건들을 만족시키는, ${\mathcal {C}}$ 의 사상들의 모임 $S\subseteq \operatorname {Mor} ({\mathcal {C}})$ 이다.

$S$ 에 속하는 모든 사상 $f\in S$ 의 공역이 $U$ 이다.
(합성에 대한 닫힘) 임의의 사상 $g\colon X\to Y$ 및 $f\colon Y\to U$ 에 대하여, 만약 $f\in S$ 라면 $f\circ g\in S$ 이다.

두 정의는 다음과 같이 대응된다.

추상적 정의	구체적 정의
대상 $X\in {\mathcal {C}}$ 에 대하여, $S(X)\subset \hom(X,U)$	$S(X):=\{f\in S\colon \operatorname {dom} f=X\}$
사상 $f\colon X\to Y$ 에 대하여, $S(f)\colon S(Y)\to S(X)$	$(g\in S)\mapsto (g\circ f\in S)$

여기서 $\operatorname {dom}$ 은 사상의 정의역이다. 즉, $S(X)$ 는 체에 속한 사상 가운데, 정의역이 $X$ 인 사상들로 구성된 부분 모임이다.

당김[편집]

대상 $U\in {\mathcal {C}}$ 위의 체 $S$ 및 사상 $f\colon V\to U$ 이 주어졌을 때, $S$ 의 당김(영어: pullback) $f^{*}S$ 은 다음과 같은, $V$ 위의 체이다.

f^{*}S(W)=(f\circ )^{-1}(S(W))=\{g\in \hom(W,V)|f\circ g\in S(W)\}

작은 범주 ${\mathcal {C}}$ 의 대상 $U\in {\mathcal {C}}$ 에 대하여, $U$ 위의 모든 체들의 집합을 $\operatorname {Sieve} _{\mathcal {C}}(U)$ 라고 하자. 그렇다면,

U\mapsto \operatorname {Sieve} _{\mathcal {C}}(U)

(f\colon U\to V)\mapsto \left(f^{*}\colon \operatorname {Sieve} (V)\to \operatorname {Sieve} (U)\right)

는 함자

\operatorname {Sieve} _{\mathcal {C}}\colon {\mathcal {C}}^{\operatorname {op} }\to \operatorname {Set}

를 이룬다. 즉, $\operatorname {Sieve} _{\mathcal {C}}$ 는 ${\mathcal {C}}$ 위의 (집합 값의) 준층을 이룬다.

$\operatorname {Sieve} _{\mathcal {C}}$ 는 ${\mathcal {C}}$ 위의 준층의 그로텐디크 토포스 $\operatorname {PSh} ({\mathcal {C}})$ 에서의 부분 대상 분류자를 이룬다.

체 준층의 부분 준층[편집]

작은 범주 ${\mathcal {C}}$ 가 주어졌을 때, 그 체 준층 $\operatorname {Sieve} _{\mathcal {C}}\in \operatorname {PSh} ({\mathcal {C}})$ 의 부분 준층 $J\subseteq \operatorname {Sieve} \in \operatorname {PSh} ({\mathcal {C}})$ 은 다음과 같은 데이터로 구성된다.

각 대상 $U\in {\mathcal {C}}$ 에 대하여, $U$ 위의 체들의 집합 $J(U)$ .

이는 다음 조건을 만족시켜야 한다.

임의의 사상 $f\colon U\to V$ 에 대하여, $f^{*}(J(V))\subseteq J(U)$ 이다.

이 조건은 그로텐디크 위상이 만족시키는 조건 가운데 하나이다.

성질[편집]

작은 범주 ${\mathcal {C}}$ 가 주어졌다고 하자. 그 속의 대상 $U\in {\mathcal {C}}$ 위의 체들의 집합 $\{S_{i}\}_{i\in I}\subseteq \operatorname {Sieve} _{\mathcal {C}}(U)$ 에 대하여, 그 교집합 $\textstyle \bigcup _{i\in I}S_{i}$ 과 합집합 $\textstyle \bigcup _{i\in I}S_{i}$ 역시 체를 이룬다. $\operatorname {Sieve} _{\mathcal {C}}(U)$ 의 최대 원소는 $\{f\in \operatorname {Mor} ({\mathcal {C}})\colon \operatorname {codom} U\}$ (즉, 표현 가능 준층 $\hom _{\mathcal {C}}(-,U)$ )이며, 최소 원소는 공집합 (즉, 공집합 값을 갖는 상수 함자)이다. 따라서, $\operatorname {Sieve} _{\mathcal {C}}(U)$ 는 포함 관계에 대하여 유계 완비 격자를 이룬다.