Injective object
Encyclopedia : I : IN : INJ : Injective object
One talks about injective objects in categories more general than module categories, for instance in functor categories or in categories of sheaves of OX modules over some ringed space (X,OX). The following general definition is used: an object Q of the category C 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.
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.