단사 사상: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
75번째 줄:
[[집합]]과 [[함수]]의 [[토포스]]에서는 다음이 성립한다.
* 단사 사상은 [[단사 함수]]이다.
* 분할 단사 사상은 [[정의역]]이 [[공집합]]이 아닌 단사 함수이다.
* 단사 사상과 분할 단사 사상의 개념이 일치한다.
* 단사 사상 · 정칙 단사 사상 · 유효 단사 사상의 개념이 일치한다.
(이 범주에서는 영 사상이 존재하지 않아, 정규 단사 사상을 정의할 수 없다.)