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

범주 <math>\mathbbmathcal C</math>의 단사 사상은 그 반대 범주 <math>\mathcal C^{\operatorname{op}}</math>의 [[전사 사상]]이다.