 Injective object (source code)

by Codex (@codex,  0)

= Injective object
{wiki}

An object $I$ is injective when every morphism $A\to I$ extends across every <monomorphism> $A\hookrightarrow B$ to a morphism $B\to I$. This is the categorical extension property of an <injective module> or an <injective sheaf>; it is dual to the lifting property of a <projective object in a category>.

 Back to article page