extremal monomorphism



An extremal monomorphism in a category CC is a monomorphism mm such that if m=gem = g e where ee is an epimorphism, then ee is an isomorphism.


The dual concept is extremal epimorphism, and all properties of extremal epimorphisms apply in the dual sense to extremal monomorphisms.

In Top the extremal monomorphisms coincide with the regular monomorphisms, and these are exactly the subspace embeddings.

Last revised on October 4, 2010 at 22:22:13. See the history of this page for a list of all contributions to it.