Injective hulls are not natural. (Q1771955): Difference between revisions

The question whether a given category has enough injectives (so that every object may be embedded into an injective one) or even injective hulls (so that such embeddings may be chosen to be essential), has been investigated for many categories, particularly in commutative and homological algebra, algebraic geometry, topology and in functional analysis. Existence of enough injectives is often facilitated by the existence of an injective cogenerator in the given category. The authors show that surprisingly in a category with injective hulls and a cogenerator, the embeddings into injective hulls can never form a natural transformation, unless the situation is trivial, in the sense that all objects are injective, in which case the injective-hull functor is given by the identity functor. In particular, assigning to a field its algebraic closure, to a poset its MacNeille completion, and to an \(R\)-module its injective envelope is not functorial, if one wants the injective embeddings to form a natural transformation.