Dualizations of approximations, $\aleph_1$-projectivity, and Vop\v{e}nka's Principles

The approximation classes of modules that arise as components of cotorsion pairs are tied up by Salce's duality. Here we consider general approximation classes of modules and investigate possibilities of dualization in dependence on closure properties of these classes. While some proofs are easily dualized, other dualizations require large cardinal principles, and some fail in ZFC, with counterexamples provided by classes of $\aleph_1$-projective modules over non-perfect rings. For example, we show that Vop\v{e}nka's Principle implies that each covering class of modules closed under homomorphic images is of the form Gen($M$) for a module $M$, and that the latter property restricted to classes generated by $\aleph_1$-free abelian groups implies Weak Vop\v{e}nka's Principle.