Encyclopedia > I > Injective object
Injective object
In category theory, an object Q is said to be injective if every arrow to Q can be pushed forward across monomorphisms. That is, Q is injective if for any monomorphism f : X → Y in C and any morphism g : X → Q there exists a morphism h : Y → Q with hf = g.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)