The Category of Elements of a Presheaf (MGAFT version)

We reduce the General Representability Theorem to conditions on a category in order to prove the More General Adjoint Functor Theorem