Injective Hull
A H-morphism g in is called H-essential if for any morphism f, the composite fg is in H only if f is in H.
If f is a H-essential H-morphism with a domain X and an H-injective codomain G, G is called an H-injective hull of X. This H-injective hull is then unique up to a canonical isomorphism.
Read more about this topic: Injective Object