Essential monomorphism (source code)

= Essential monomorphism
{wiki=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.