Injective object (source code)

= Injective object
{wiki=Injective_object}

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.