Essential monomorphism

In mathematics, specifically category theory, an essential monomorphism is a monomorphism f in a category C such that for a morphism g in C, $g\circ f$ is a monomorphism only when g is a monomorphism. Essential monomorphisms in a category of modules are those whose image is an essential submodule of the codomain. An injective hull of an object X is an essential monomorphism from X to an injective object.

References

This article is issued from Wikipedia - version of the 8/7/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.