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

어떤 범주에서 모든 사상 <math>f\colon X\to Y</math>의 스스로와의 [[당김 (범주론)|당김]] <math>X\times_YX</math>이 존재한다면, 이 범주에서 정칙 전사 사상의 개념과 유효 전사 사상의 개념이 일치한다. [[토포스]](또는 더 일반적으로 [[준토포스]])에서는 전사 사상 · 정칙 전사 사상 · 유효 전사 사상의 개념이 일치한다.

 

 

=== 반대 범주 ===