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

내용 삭제됨 내용 추가됨
25번째 줄:
 
== 예 ==
* <math>\{\bullet\}</math>이 하나의 원소를 가진 집합이라고 하자. 그렇다면 쌍대 조각 범주 <math>\operatorname{Set}/\{\bullet\}\backslash\operatorname{Set}</math>는 [[점 달린 집합]]({{llang|en|pointed set}})의 범주이다. 마찬가지로, <math>\operatorname{Top}/\{\bullet\}\backslash\operatorname{Top}</math>은 [[점 달린 공간]]의 범주이다. 이들은 [[대수적 위상수학]]에서 쓰인다.
* [[대수기하학]]에서 <math>\operatorname{Sch}/K</math>는 체의 아핀 공간 <math>\operatorname{Spec}K</math>에 대한 [[스킴 (수학)|스킴]]들의 조각 범주이다. 보다 일반적으로, 스킴 <math>S\in\operatorname{Sch}</math>에 대하여, <math>\operatorname{Sch}/S</math>는 <math>S</math>-스킴들의 범주이다.
* 함자 <math>D\colon\operatorname{Set}\to\operatorname{Set}</math>가 <math>D(S)=S\times S</math>라고 하자. 그렇다면 <math>\operatorname{Id}_{\operatorname{Set}}\downarrow D</math>는 (스스로로 가는 변을 허용하는) [[유향 그래프]]의 범주이다. 이 경우, 대상은 <math>(E,V,\operatorname{end})</math>의 꼴인데 <math>E</math>는 변의 집합, <math>V</math>는 꼭짓점의 집합, 함수 <math>\operatorname{end}\colon E\to V\times V</math>는 각 변을 양 끝점의 순서쌍으로 대응시키는 함수이다.