항등 함수: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
40번째 줄:
== 관련 개념 ==
=== (범주의 대상의) 항등 사상 ===
범주 <math>\mathcal C</math>의 각 대상 <math>X</math>에 대하여, 다음을 만족시키는 유일한 사상 <math>\operatorname{id}_X</math>가 존재하며, 이를 <math>X</math>의 '''항등 사상'''(恒等寫像, {{llang|en|identity morphism}})이라고 한다.
* <math>\operatorname{id}_X\colon X\to X</math>
| |||