Monomorphism

Split monomorphism

A split monomorphism is a morphism with a postinverse or retraction , #m/def/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

1. is the equalizer of and , hence it is regularly monic.

See dual properties at Properties

#state/tidy | #lang/en | #SemBr