A projective cover in a
category, 𝒦, of algebras is a morphism ϕ : P → A where A,P ∈𝒦, P is
projective in 𝒦 and no proper subalgebra of P has A as its direct image
under ϕ. Projective covers of finite distributive lattices in the categories
ℒ, of all lattices and ℒfin of all finite lattices are determined (when they
exist).