滿射

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