Generalizable All Variables. (*******************************************************************************) (* Chapter 9.8: Freyd's Adjoint Functor Theorem *) (*******************************************************************************)