전사 사상: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
30번째 줄:
다음과 같은 포함 관계가 성립한다.
:[[동형 사상]] ⊆ 유효 전사 사상 ⊆ 정칙 전사 사상 ⊆ 전사 사상
:[[동형 사상]] ⊆ 분할 전사 사상 ⊆ 정칙 전사 사상 ⊆ 전사 사상
분할 전사 사상이 정칙 전사 사상인 이유는 분할 전사 사상 <math>f\colon X\to Y</math> 및 그 단면 <math>s\colon Y\to X</math>이 주어졌을 때 <math>f=\operatorname{eq}\{s\circ f,\operatorname{id}_X\}</math>이기 때문이다.
어떤 범주에서 모든 사상 <math>f\colon X\to Y</math>의 스스로와의 [[당김 (범주론)|당김]] <math>X\times_YX</math>이 존재한다면, 이 범주에서 정칙 전사 사상의 개념과 유효 전사 사상의 개념이 일치한다. [[토포스]](또는 더 일반적으로 [[준토포스]])에서는 전사 사상 · 정칙 전사 사상 · 유효 전사 사상의 개념이 일치한다.
| |||