Monomorphism Split monomorphism A split monomorphism is a morphism with a postinverse or retraction , cat so that . Note that is necessarily a monomorphism, and has the dual property of being a split epimorphism. Furthermore need not be unique. Properties Let be a split monomorphism with retraction is the equalizer of and , hence it is regularly monic. See dual properties at Properties tidy | en | sembr