반사 부분 범주

틀:위키데이터 속성 추적 범주론에서 반사 부분 범주(反射部分範疇, 틀:Llang)는 어떤 범주의 부분 범주에 대하여, 범주의 일반적 원소를 "표준적으로" 부분 범주에 속하도록 "완성할" 수 있는 성질을 갖는 충만한 부분 범주이다.

정의

범주 $ℬ$의 충만한 부분 범주 $𝒜\subseteq ℬ$에 대하여, 만약 포함 함자

$I:𝒜\to ℬ$

가 왼쪽 수반 함자

$R:ℬ\to 𝒜$

$R⊣I$

를 갖는다면, $𝒜$를 반사 부분 범주라고 하며, $R$를 반사 함자(反射函子, 틀:Llang)라고 한다. 이 경우, $𝒜$의 극한은 $ℬ$의 극한과 일치하며, 반대로 $𝒜$의 쌍대극한은 $ℬ$의 쌍대극한에 반사 함자 $R$를 가하여 얻는다.

마찬가지로, 범주 $ℬ$의 충만한 부분 범주 $𝒜\subseteq ℬ$에 대하여, 만약 포함 함자

$I:𝒜\to ℬ$

가 오른쪽 수반 함자

$R:ℬ\to 𝒜$

$I⊣R$

를 갖는다면, $𝒜$를 쌍대 반사 부분 범주(틀:Llang)라고 하며, $R$를 쌍대 반사 함자(틀:Llang)라고 한다. 이 경우, $𝒜$의 쌍대극한은 $ℬ$의 극한과 일치하며, 반대로 $𝒜$의 극한은 $ℬ$의 극한에 쌍대 반사 함자 $R$를 가하여 얻는다.

반사 부분 함자이자 쌍대 반사 범주인 충만한 부분 범주를 쌍반사 부분 범주(틀:Llang)라고 한다.

예

쌍반사 부분 범주의 예

쌍반사 부분 범주의 예로는 다음을 들 수 있다.

전체 범주	쌍반사 부분 범주	반사 함자	쌍대 반사 함자
모노이드의 범주 $\mathrm{Mon}$	군의 범주 $\mathrm{Grp}$	역원의 추가	가역원군

반사 부분 범주의 예

반사 부분 범주의 예로는 다음을 들 수 있다.

전체 범주	반사 부분 범주	반사 함자
군의 범주 $\mathrm{Grp}$	아벨 군의 범주 $\mathrm{Ab}$	아벨화(틀:Llang) $G\mapsto G/[G,G]$
환의 범주 $\mathrm{Ring}$	가환환의 범주 $\mathrm{CRing}$	가환화 $R\mapsto R/[R,R]$
준군의 범주 $\mathrm{Gpd}$	군의 범주 $\mathrm{Grp}$	준군의 보편군(틀:Llang)
체 $K$ 위의 단위 결합 대수의 범주 $K\text{-uAssoc}$	가환 결합 대수의 범주	가환화
체 $K$ 위의 단위 결합 대수의 범주 $K\text{-uAssoc}$	반가환 결합 대수의 범주	반가환화
정역과 단사 환 준동형의 범주	체의 범주 $\mathrm{Field}$	분수체 $R\mapsto \mathrm{Frac}R$
위상 공간의 범주 $\mathrm{Top}$	콜모고로프 공간의 범주 $\mathrm{Kolm}$	콜모고로프 몫공간
콜모고로프 공간의 범주 $\mathrm{Kolm}$	T1 공간의 범주 ${\mathrm{T}}_{\mathrm{1}}\mathrm{T}\mathrm{o}\mathrm{p}$
T1 공간의 범주 ${\mathrm{T}}_{\mathrm{1}}\mathrm{T}\mathrm{o}\mathrm{p}$	하우스도르프 공간의 범주 $\mathrm{Haus}$
하우스도르프 공간의 범주 $\mathrm{Haus}$	하우스도르프 정칙 공간의 범주 $\mathrm{RegHaus}$
하우스도르프 정칙 공간의 범주 $\mathrm{RegHaus}$	티호노프 공간의 범주 $\mathrm{Tych}$
티호노프 공간의 범주 $\mathrm{Tych}$	콤팩트 하우스도르프 공간들의 범주 $\mathrm{CompHaus}$	스톤-체흐 콤팩트화
위상 공간의 범주 $\mathrm{Top}$	비이산 공간의 범주 $\mathrm{IndiscTop}\simeq \mathrm{Set}$	망각 함자
거리 공간과 균등 연속 함수의 범주	완비 거리 공간과 균등 연속 함수의 범주	완비화
노름 공간과 유계 작용소의 범주	바나흐 공간과 유계 작용소들의 범주	완비화
위치 $S$ 위의 준층의 범주 $\mathrm{PSh}(S)$	$S$ 위의 층의 범주 $\mathrm{Sh}(S)$	층화(틀:Llang)
스킴의 범주 $\mathrm{Sch}$	아핀 스킴의 범주 $\mathrm{Aff}\simeq {\mathrm{CRing}}^{\mathrm{op}}$	정칙 함수환의 스펙트럼 $X\mapsto \mathrm{Spec}\mathrm{\Gamma }(X;{𝒪}_X)$

그러나 하우스도르프 정규 공간(=T4 공간)의 범주는 티호노프 공간의 범주 속의 반사 부분 범주를 이루지 않는다. 반사 부분 범주는 포함되는 범주의 (존재한다고 가정한) 유한곱에 대하여 닫혀 있어야 하는데, 하우스도르프 정규 공간의 범주는 곱공간에 대하여 닫혀 있지 않기 때문이다.

쌍대 반사 부분 범주의 예

쌍대 반사 부분 범주의 예로는 다음을 들 수 있다.

전체 범주	쌍대 반사 부분 범주	쌍대 반사 함자
위상 공간의 범주 $\mathrm{Top}$	콤팩트 생성 공간의 범주 $\mathrm{CGTop}$	콤팩트 생성화
위상 공간의 범주 $\mathrm{Top}$	이산 공간의 범주 $\mathrm{DiscTop}\simeq \mathrm{Set}$	망각 함자 $\mathrm{Top}\to \mathrm{Set}$
아벨 군의 범주 $\mathrm{Ab}$	꼬임 아벨 군의 범주 $\mathrm{TorsAb}$	꼬임 부분군
준군의 범주 $\mathrm{Gpd}$	작은 범주의 범주 $\mathrm{Cat}$	핵(틀:Llang) (역원을 갖는 사상들만으로 구성된 비충실 부분 범주)

참고 문헌

• 틀:서적 인용

외부 링크

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