풍성한 범주

범주론에서 풍성한 범주(豐盛-範疇, 영어: enriched category)는 "사상 집합"이 집합 대신 다른 모노이드 범주의 대상이 될 수 있는, 범주의 개념의 일반화이다. 모노이드 범주 ( M , ⊗ : M × M → M , I ∈ Ob ⁡ ( M ) , α : ( M ⊗ M ) ⊗ M ⇒ M ⊗ ( M ⊗ M ) , λ : ( I ⊗ M ) ⇒ Id M , ρ : ( M ⊗ I ) ⇒ Id M ) {\displaystyle ({\mathcal {M}},\otimes \colon {\mathcal {M}}\times {\mathcal {M}}\to {\mathcal {M}},I\in \operatorname {Ob} ({\mathcal {M}}),\alpha \colon ({\mathcal {M}}\otimes {\mathcal {M}})\otimes {\mathcal {M}}\Rightarrow {\mathcal {M}}\otimes ({\mathcal {M}}\otimes {\mathcal {M}}),\lambda \colon (I\otimes {\mathcal {M}})\Rightarrow \operatorname {Id} _{\mathcal {M}},\rho \colon ({\mathcal {M}}\otimes I)\Rightarrow \operatorname {Id} _{\mathcal {M}})} 가 주어졌다고 하자. M {\displaystyle {\mathcal {M}}} 위의 풍성한 범주(영어: category enriched over M {\displaystyle {\mathcal {M}}} ) C {\displaystyle {\mathcal {C}}} 는 다음과 같은 데이터로 구성된다. 모임 Ob ⁡ ( C ) {\displaystyle \operatorname {Ob} ({\mathcal {C}})} . 이 모임의 원소를 C {\displaystyle {\mathcal {C}}} 의 대상(영어: object)이라고 한다. 임의의 X , Y ∈ Ob ⁡ ( C ) {\displaystyle X,Y\in \operatorname {Ob} ({\mathcal {C}})} 에 대하여, hom C ⁡ ( a , b ) ∈ Ob ⁡ ( M ) {\displaystyle \hom _{\mathcal {C}}(a,b)\in \operatorname {Ob} ({\mathcal {M}})} . 임의의 X ∈ Ob ⁡ ( C ) {\displaystyle X\in \operatorname {Ob} ({\mathcal {C}})} 에 대하여, M {\displaystyle {\mathcal {M}}} -사상 id X : I → hom C ⁡ ( X , X ) {\displaystyle \operatorname {id} _{X}\colon I\to \hom _{\mathcal {C}}(X,X)} . 이는 항등 사상을 나타낸다. 임의의 X , Y , Z ∈ Ob ⁡ ( C ) {\displaystyle X,Y,Z\in \operatorname {Ob} ({\mathcal {C}})} 에 대하여, M {\displaystyle {\mathcal {M}}} -사상 ∘ X Y Z : hom C ⁡ ( Y , Z ) ⊗ hom C ⁡ ( X , Y ) → hom C ⁡ ( X , Z ) {\displaystyle \circ _{XYZ}\colon \hom _{\mathcal {C}}(Y,Z)\otimes \hom _{\mathcal {C}}(X,Y)\to \hom _{\mathcal {C}}(X,Z)} . 이는 사상의 합성을 나타낸다. 이 데이터는 다음 세 그림을 가환하게 만들어야만 한다. (사상 합성의 결합 법칙) ( hom C ⁡ ( Z , W ) ⊗ hom C ⁡ ( Y , Z ) ) ⊗ hom C ⁡ ( X , Y ) → ∘ Y Z W ⊗ id hom C ⁡ ( Y , W ) ⊗ hom C ⁡ ( X , Y ) → ∘ X Y W hom C ⁡ ( X , W ) ↓ α ↓ id hom C ⁡ ( Z , W ) ⊗ ( hom C ⁡ ( Y , Z ) ⊗ hom C ⁡ ( X , Y ) ) → id ⊗ ∘ X Y Z hom C ⁡ ( Z , W ) ⊗ hom C ⁡ ( X , Z ) → ∘ X Z W hom C ⁡ ( X , W ) {\displaystyle {\begin{matrix}\left(\hom _{\mathcal {C}}(Z,W)\otimes \hom _{\mathcal {C}}(Y,Z)\right)\otimes \hom _{\mathcal {C}}(X,Y)&{\xrightarrow {\circ _{YZW}\otimes \operatorname {id} }}&\hom _{\mathcal {C}}(Y,W)\otimes \hom _{\mathcal {C}}(X,Y)&{\xrightarrow {\circ _{XYW}}}&\hom _{\mathcal {C}}(X,W)\\\downarrow \scriptstyle \alpha &&&&\downarrow \scriptstyle \operatorname {id} \\\hom _{\mathcal {C}}(Z,W)\otimes \left(\hom _{\mathcal {C}}(Y,Z)\otimes \hom _{\mathcal {C}}(X,Y)\right)&{\xrightarrow[{\operatorname {id} \otimes \circ _{XYZ}}]{}}&\hom _{\mathcal {C}}(Z,W)\otimes \hom _{\mathcal {C}}(X,Z)&{\xrightarrow[{\circ _{XZW}}]{}}&\hom _{\mathcal {C}}(X,W)\end{matrix}}} (사상 합성의 왼쪽 항등원) I ⊗ hom C ⁡ ( X , Y ) → id Y ⊗ id hom C ⁡ ( Y , Y ) ⊗ hom C ⁡ ( X , Y ) λ ↘ ↓ ∘ X Y Y hom C ⁡ ( X , Y ) {\displaystyle {\begin{matrix}I\otimes \hom _{\mathcal {C}}(X,Y)&{\xrightarrow {\operatorname {id} _{Y}\otimes \operatorname {id} }}&\hom _{\mathcal {C}}(Y,Y)\otimes \hom _{\mathcal {C}}(X,Y)\\&{\scriptstyle \lambda }\searrow &\downarrow \scriptstyle \circ _{XYY}\\&&\hom _{\mathcal {C}}(X,Y)\end{matrix}}} (사상 합성의 오른쪽 항등원) hom C ⁡ ( X , Y ) ⊗ I → id ⊗ id X hom C ⁡ ( X , Y ) ⊗ hom C ⁡ ( X , X ) ρ ↘ ↓ ∘ X X Y hom C ⁡ ( X , Y ) {\displaystyle {\begin{matrix}\hom _{\mathcal {C}}(X,Y)\otimes I&{\xrightarrow {\operatorname {id} \otimes \operatorname {id} _{X}}}&\hom _{\mathcal {C}}(X,Y)\otimes \hom _{\mathcal {C}}(X,X)\\&{\scriptstyle \rho }\searrow &\downarrow \scriptstyle \circ _{XXY}\\&&\hom _{\mathcal {C}}(X,Y)\end{matrix}}} 모노이드 범주 M {\displaystyle {\mathcal {M}}} 위의 두 풍성한 범주 C {\displaystyle {\mathcal {C}}} , D {\displaystyle {\mathcal {D}}} 사이의 M {\displaystyle {\mathcal {M}}} -풍성한 함자(영어: M {\displaystyle {\mathcal {M}}} -enriched functor) F : C → D {\displaystyle F\colon {\mathcal {C}}\to {\mathcal {D}}} 는 다음과 같은 데이터로 구성된다. 각 대상 X ∈ C {\displaystyle X\in {\mathcal {C}}} 에 대하여, 대상 F ( X ) ∈ D {\displaystyle F(X)\in {\mathcal {D}}} 두 대상 X , Y ∈ C {\displaystyle X,Y\in {\mathcal {C}}} 에 대하여, M {\displaystyle {\mathcal {M}}} 속의 사상 F X Y : hom C ⁡ ( X , Y ) → hom D ⁡ ( F ( X ) , F ( Y ) ) {\displaystyle F_{XY}\colon \hom _{\mathcal {C}}(X,Y)\to \hom _{\mathcal {D}}(F(X),F(Y))} 이 데이터는 다음 조건들을 만족시켜야 한다. (항등원의 보존) 임의의 대상 X ∈ C {\displaystyle X\in {\mathcal {C}}} 에 대하여 다음 그림이 가환한다. I id X ↓ ↘ id F ( X ) hom C ⁡ ( X , X ) → F X X hom D ⁡ ( F ( X ) , F ( X ) ) {\displaystyle {\begin{matrix}I\\{\scriptstyle \operatorname {id} _{X}}\downarrow &\searrow {\scriptstyle \operatorname {id} _{F(X)}}\\\hom _{\mathcal {C}}(X,X)&{\xrightarrow[{F_{XX}}]{}}&\hom _{\mathcal {D}}(F(X),F(X))\end{matrix}}} (사상 합성의 보존) 임의의 대상 X , Y , Z ∈ C {\displaystyle X,Y,Z\in {\mathcal {C}}} 에 대하여 다음 그림이 가환한다. hom C ⁡ ( Y , Z ) ⊗ hom C ⁡ ( X , Y ) → ∘ hom C ⁡ ( X , Z ) F Y Z ⊗ F X Y ↓ ↓ F X Z hom D ⁡ ( F ( Y ) , F ( Z ) ) ⊗ hom D ⁡ ( F ( X ) , F ( Y ) ) → ∘ hom D ⁡ ( F ( X ) , F ( Z ) ) {\displaystyle {\begin{matrix}\hom _{\mathcal {C}}(Y,Z)\otimes \hom _{\mathcal {C}}(X,Y)&{\xrightarrow {\circ }}&\hom _{\mathcal {C}}(X,Z)\\{\scriptstyle F_{YZ}\otimes F_{XY}}\downarrow &&\downarrow \scriptstyle F_{XZ}\\\hom _{\mathcal {D}}(F(Y),F(Z))\otimes \hom _{\mathcal {D}}(F(X),F(Y))&{\xrightarrow[{\circ }]{}}&\hom _{\mathcal {D}}(F(X),F(Z))\end{matrix}}} 국소적으로 작은 범주는 집합의 범주 Set {\displaystyle \operatorname {Set} } 위의 풍성한 범주와 같다. 작은 범주의 범주 Cat {\displaystyle \operatorname {Cat} } 위의 풍성한 범주를 2-범주(영어: 2-category)라고 한다. 보다 일반적으로, n {\displaystyle n} -범주의 범주 n -Cat {\displaystyle n{\text{-Cat}}} 위의 풍성한 범주를 ( n + 1 ) {\displaystyle (n+1)} -범주(영어: ( n + 1 ) {\displaystyle (n+1)} -category)라고 한다. 가환환 R {\displaystyle R} 위의 가군들의 범주 Mod R {\displaystyle \operatorname {Mod} _{R}} 는 텐서곱에 대하여 모노이드 범주를 이룬다. 이 위의 풍성한 범주는 R {\displaystyle R} -선형 범주(-線型範疇, 영어: R {\displaystyle R} -linear category)라고 한다. 특히, R = Z {\displaystyle R=\mathbb {Z} } (정수환)인 경우, Mod R {\displaystyle \operatorname {Mod} _{R}} 는 아벨 군의 범주 Ab {\displaystyle \operatorname {Ab} } 와 같다. Ab {\displaystyle \operatorname {Ab} } -풍성한 범주는 준가법 범주(準加法範疇, 영어: preadditive category)라고 하고, Ab {\displaystyle \operatorname {Ab} } -풍성한 함자는 가법 함자(加法範疇, 영어: additive functor)라고 한다. 준가법 범주는 항상 영 대상을 가지며, 유한 곱과 유한 쌍대곱이 일치한다. 가법 범주(영어: additive category)는 유한 완비 준가법 범주이다. (준가법 범주에서 유한 곱과 유한 쌍대곱이 일치하므로, 유한 완비 범주인 것은 유한 쌍대 완비 범주인 것과 동치이다.) 내적 범주 Kelly, G. M. (1982). 《Basic Concepts of Enriched Category Theory》 (PDF). London Mathematical Society Lecture Note Series (영어) 64. Cambridge University Press.  “Category”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  “Higher-dimensional category”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  “Enriched category theory”. 《nLab》 (영어).  “Enriched category”. 《nLab》 (영어).  “Enriched functor”. 《nLab》 (영어).  “Strict n-category”. 《nLab》 (영어).  “Linear category”. 《nLab》 (영어).  “Linear functor”. 《nLab》 (영어).  “Preadditive category”. 《nLab》 (영어).  “Additive functor”. 《nLab》 (영어).  “Additive category”. 《nLab》 (영어).