單態射

在範疇論裏 ， 一個態射被稱之爲單態射 ， 則該態射爲一具左消去律的態射 。 亦即 ， 給定一單態射 ， 則對所有的態射 ， 均能使得 單態射是單射函數 （ 或稱爲一對一函數 ） 在範畤論裏的延伸 。 單態射的對偶概念爲滿態射 ， 後者爲滿射函數的延伸 。 一態射於範疇C 裏爲單態射 ， 則該態射於對偶範疇Cop 裏爲滿態射 。