split epimorphism

{\displaystyle f} 的截面（英语：section (category theory)）。而有右逆的態射稱為分裂滿態射（英语：split epimorphism），是一類特殊的滿態射。 以 X {\displaystyle X} 為定義域， Y {\displaystyle Y}

个同构，其逆为f。两个对象之间有一个同构，那么这两个对象称为同构的或者等价的。同构是范畴论中态射的最重要种类。 满同态（英语：epimorphism）（epimorphism）：令态射f : X → Y，如果对于所有Y → Z的态射g1，g2有 g 1 ∘ f = g 2 ∘ f ⇒ g 1 = g