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