单同态

在范畴中，一个态射 被称为单同态，如果对于任意两个态射 ， 意味着 。在集合、群、模等范畴中，单同态与单射相同，并且在范畴论之外与“单射”同义使用。