Projective cover

In the branch of abstract mathematics called category theory, a projective cover of an object M is in a sense the best approximation of M by a projective object P. Projective covers are the dual of injective envelopes.