Pure-injective envelopes

摘要

It is proved that if C is a locally finitely presented additive category, then every object X of C admits a pure-injective envelope. Considered as a morphism, the pure-injective envelope is a pure-monomorphism.