src/FreydAFT_ch9_8.v

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