En matemáticas , específicamente en teoría de categorías , un monomorfismo esencial es un monomorfismo i en una categoría abeliana C tal que para un morfismo f en C , la composición es un monomorfismo solo cuando f es un monomorfismo. [1] Los monomorfismos esenciales en una categoría de módulos son aquellos cuya imagen es un submódulo esencial del codominio . Una envoltura inyectiva de un objeto A es un monomorfismo esencial de A a un objeto inyectivo . [1]
