쉼표 범주: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
18번째 줄:
 
=== 조각 범주 ===
만약 <math>\mathcal A=\mathcal C</math>이며 <math>F=\operatorname{Id}_{\mathcal C}</math>이고, <math>\mathcal B=1</math> ([[자명군]]에 대응하는, 하나의 대상과 그 항등사상만을 갖는 범주)이며범주이며, <math>GX^*\colon1\to\mathcal C</math>가 <math>\mathcal B1</math>의 유일한 대상을 <math>CX\in\mathcal C</math>로 대응시킨다고대응시키는 함자라고 하자. 그렇다면, 이는 <math>C</math>에 대한 '''조각반점 범주'''({{llang|en|slice category}})라고 하고, <math>\mathcal C/C</math>로 쓴다.
:<math>\mathcal C/X=X^*\downarrow\operatorname{Id}_{\mathcal C}</math>
를 <math>X</math>에 대한 '''조각 범주'''({{llang|en|slice category}})라고 한다. 반대로, 두 함자의 순서를 바꾼 반점 범주
:<math>X\backslash\mathcal C=X^*\downarrow\operatorname{Id}_{\mathcal C}</math>
를 <math>X</math>에 대한 '''쌍대 조각 범주'''({{llang|en|coslice category}})라고 한다.
 
== 예 ==