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:
“Pleasure is necessarily reciprocal; no one feels it who does not at the same time give it. To be pleased, one must please. What pleases you in others, will in general please them in you.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)