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 definition, general and/or definition:
“The following general definition of an animal: a system of different organic molecules that have combined with one another, under the impulsion of a sensation similar to an obtuse and muffled sense of touch given to them by the creator of matter as a whole, until each one of them has found the most suitable position for its shape and comfort.”
—Denis Diderot (1713–1784)
“It was the words “descended into Hades”
That seemed too pagan to our liberal youth.
You know they suffered from a general onslaught.
And well, if they weren’t true why keep right on
Saying them like the heathen? We could drop them.”
—Robert Frost (1874–1963)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)