Projective cover (source code)

= Projective cover
{wiki=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.