  We revisit faithfully balanced modules. These are faithful modules having the
double centralizer property. For finite-dimensional algebras our main tool is
the category ${\rm cogen}^1(M)$ of modules with a copresentation by summands of
finite sums of $M$ on which ${\rm Hom}(-,M)$ is exact. For a faithfully
balanced module $M$ the functor ${\rm Hom}(-,M)$ is a duality on these
categories - for cotilting modules this is the Brenner-Butler theorem. We also
study new classes of faithfully balanced modules combining cogenerators and
cotilting modules. Then we turn to relative homological algebra in the sense of
Auslander-Solberg and define a relative version of faithfully balancedness
which we call $1$-$\mathbf{F}$-faithful. We find relative versions of the best
known classes of faithfully balanced modules (including (co)generators
,(co)tilting and cluster tilting modules). Here we characterize the
corresponding modules over the endomorphism ring of the faithfully balanced
module - this is what we call a \emph{correspondence}. Two highlights are the
relative (higher) Auslander correspondence and the relative cotilting
correspondence - the second is a generalization of a relative cotilting
correspondence of Auslander-Solberg to an involution (as the usual cotilting
correspondence is).
