이 대상을 공역(공역 (수학))으로 삼는 사상(사상 (수학))의 정의역을 임의로 확장할 수 있는 대상
범주론에서, 단사 대상(單射對象, )은 이 대상을 공역(공역 (수학))으로 삼는 사상(사상 (수학))의 정의역을 임의로 확장할 수 있는 대상이다. 단사 가군의 개념을 일반화한 개념이다. 마찬가지로, 이에 대한 쌍대 개념인 사영 대상(射影對象, )은 이 대상을 정의역으로 삼는 사상(사상 (수학))의 공역(공역 (수학))을 임의로 축소할 수 있는 대상이다. 범주 의 단사 대상은 다음 성질을 만족하는 대상 이다. 만약 가 끝 대상 을 가진다면, 단사 대상 는 유일한 사상 이 모든 단사 사상에 대하여 오른쪽 올림 성질을 만족시키는 대상이다.
단사 대상이 뭐야
단사 대상