An object is injective when every morphism extends across every monomorphism to a morphism . 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.
Articles by others on the same topic
In category theory, an injective object is a specific type of object that satisfies a particular property in terms of homomorphisms (morphisms) between objects in a category.