Injective Object - General Definition

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:

    The General Strike has taught the working class more in four days than years of talking could have done.
    —A.J. (Arthur James)

    No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.
    Florence Nightingale (1820–1910)