Essential monomorphism: Difference between revisions
Jump to navigation
Jump to search
imported>Citation bot Altered url. URLs might have been anonymized. | Use this bot. Report bugs. | #UCB_CommandLine |
(No difference)
|
Latest revision as of 00:33, 27 August 2024
Template:More citations needed In mathematics, specifically category theory, an essential monomorphism is a monomorphism i in an abelian category C such that for a morphism f in C, the composition is a monomorphism only when f is a monomorphism.[1] Essential monomorphisms in a category of modules are those whose image is an essential submodule of the codomain. An injective hull of an object A is an essential monomorphism from A to an injective object.[1]