,称态射f为满同态。这也称为epi或epic.具体范畴中的满同态通常是满射(surjective)函数,虽然并不总是这样。 单同态(英语:monomorphism)(monomorphism):令态射f : X → Y,如果对于所有Z → X的态射g1,g2, f ∘ g 1 = f ∘ g 2 ⇒ g 1 = g
Cambridge University Press. ISBN 0-521-44178-1. Hazewinkel, Michiel (编), Monomorphism, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 Jaap van Oosten, Basic