General Definition
Let be a category and let be a class of morphisms of .
An object of is said to be -injective if for every arrow and every morphism in there exists a morphism extending (the domain of), i.e . In other words, is injective iff any -morphism extends (via composition on the left) to any morphism into .
The morphism in the above definition is not required to be uniquely determined by .
In a locally small category, it is equivalent to require that the hom functor carries -morphisms to epimorphisms (surjections).
The classical choice for is the class of monomorphisms, in this case, the expression injective object is used.
Read more about this topic: Injective Object
Famous quotes containing the words general and/or definition:
“All the critics who could not make their reputations by discovering you are hoping to make them by predicting hopefully your approaching impotence, failure and general drying up of natural juices. Not a one will wish you luck or hope that you will keep on writing unless you have political affiliations in which case these will rally around and speak of you and Homer, Balzac, Zola and Link Steffens.”
—Ernest Hemingway (1899–1961)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)