單同態

在範疇中，一個態射 被稱為單同態，如果對於任意兩個態射 ， 意味著 。在集合、群、模等範疇中，單同態與單射相同，並且在範疇論之外與“單射”同義使用。