 Essential monomorphism

In category theory, an **essential monomorphism** is a special type of morphism that captures the idea of "injectivity" in a broader categorical context.