在范畴论里，一个态射被称之为单态射，则该态射为一具左消去律的态射。亦即，给定一单态射，则对所有的态射，均能使得单态射是单射函数（或称为一对一函数）在范畤论里的延伸。单态射的对偶概念为满态射，后者为满射函数的延伸。一态射于范畴"C" 里为单态射，则该态射于对偶范畴"C" 里为满态射。