// Workers AI · dad joke modeIs essential monomorphism morphing into a party animal? No, it's just a mono-morph.
 | This article needs more citations. (February 2024) |
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]
References
[edit]- 1 2 Hashimoto, Mitsuyasu (November 2, 2000). Auslander-Buchweitz Approximations of Equivariant Modules. Cambridge University Press. p. 19. ISBN 9780521796965. Retrieved February 3, 2024 – via Google Books.
 | This category theory–related article is a stub. You can help Wikipedia by adding missing information. |