범주 (수학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 잔글 →예 |
Osteologia (토론 | 기여) |
||
45번째 줄:
| Rel || [[집합]] || [[관계 (수학)|관계]] || <math>a(\sim_2\circ\sim_1)b\iff\exists c\colon a\sim_1 c\sim_2 b</math> || 등호 <math>=</math>
|-
| [[부분 순서 집합]] <math>(P,\le)</math> || <math>P</math>의 원소 || <math>x\le y</math>이면 <math>\hom(x,y)=\{(x,y)\
|-
| [[모노이드]] <math>(M,\cdot,1_M)</math> || <math>\operatorname{ob}(M)=\{\bullet\}</math> (임의의 유일한 대상) || <math>M</math>의 원소 || 모노이드 이항 연산 <math>m\circ n=m\cdot n</math> || 모노이드 항등원 <math>1_M</math>
| |||