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

영 사상을 갖는 범주 <math>\mathcal C</math>에서, 어떤 사상 <math>f\colon X\to Y</math>의 [[여핵]] <math>\operatorname{coker} f\colon K\to X</math>으로 나타내어질 수 있는 사상을 '''정규 전사 사상'''({{llang|en|normal epimorphism}})이라고 한다. 정규 전사 사상은 ([[쌍대극한]]이므로) 항상 전사 사상이다.