單態射

範疇U中的態射f : g-'B，若有左可消性質，即對使態射合成有意義的態射u,v，由fu = fv可斷定u=v，則稱f為留中的單態射.若好為單態射，則f必為單態射;單態射的合成仍為單態射;單位態射必為單態射，甚至左可逆態射也是單態射 ^[3]  。

單態射表示範疇的研究起源於20世紀30年代，在隨後的數十年引起了人們的極大關注和研究熱情，單態射表示範疇與其他數學分支有着深刻的聯繫。與多關於單態射表示範疇的工作都是針對An型箭圖展開的，研究對象從最初的單態射到單態射序列再到單態射表示，人們對單態射表示範疇的認知逐漸深刻 ^[2]  。