동형 사상: 두 판 사이의 차이

159 바이트 추가됨 ,  7년 전
잔글 (Osteologia 사용자가 동형사상 문서를 동형 사상 문서로 옮기면서 넘겨주기를 덮어썼습니다: 단사 사상전사 사상과의 일관성. 상용되는 형태 (구글 검색 참고))
일반적으로, 단사 사상이자 전사 사상이지만 동형 사상이 아닌 사상들이 존재할 수 있다.
 
[[구체적 범주]] <math>\mathcal C\to\operatorname{Set}</math>에서, 자유 함자(망각 함자 <math>\mathcal C\to\operatorname{Set}</math>의 왼쪽 [[수반 함자]] <math>\operatorname{Set}\to\mathcal C</math>)가 존재한다면, <math>\mathcal C</math>의 사상에 대하여 다음 두 조건이 서로 [[동치]]이다.
* 동형 사상이다.
* [[전단사 함수]]이다.
특히, [[대수 구조 다양체]]의 범주에서는 자유 함자가 항상 존재하므로, 동형 사상은 [[전단사]] [[준동형 사상]]이다.
 
==예==