범주 (수학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글편집 요약 없음 |
|||
61번째 줄:
| Cat || 작은 범주 || [[함자 (수학)|함자]] || 함자의 합성 || 항등 함자
|-
| Rel || [[집합]] || [[관계 (수학)|관계]] || <math>a\operatorname{({\
|-
| [[부분 순서 집합]] <math>(P,\le)</math> || <math>P</math>의 원소 || <math>x\le y</math>이면 <math>\hom(x,y)=\{(x,y)\}</math>, 아니면 <math>\hom(x,y)=\varnothing</math> || <math>(y,z)\circ(x,y)=(x,z)</math> || <math>\operatorname{Id}_x=(x,x)</math>
| |||