Projective cover

In the context of category theory and module theory, a **projective cover** is a particular type of object that serves as a "minimal" projective object that maps onto a given object (or module) in a way that reflects certain structural properties.