 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.