單態射

單態射(monk morphism)是集合範疇Set中單射概念的推廣，它與滿態射是互為對偶的概念。

基本介紹

• 中文名：單態射
• 外文名：monk morphism
• 學科：數學

背景

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

含義

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