항등 함수: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글편집 요약 없음 |
|||
46번째 줄:
* 모든 대상 <math>Y\in\operatorname{Ob}(\mathcal C)</math> 및 사상 <math>g\colon Y\to X</math>에 대하여, <math>\operatorname{id}_X\circ g=g</math>
{{증명|부제=<math>\operatorname{id}_X</math>의 존재와 유일성}}
범주의 정의에 따라
이제, 사상 <math>g,h\colon X\to X</math>가 모두
:<math>h=h\circ g=g</math>
이 두 가지에 따라, 위 세 조건을 만족시키는 사상은 유일하게 존재한다.
{{증명 끝}}
| |||