Lemma. Representable functor and adjoint [tt-0022]
✍️source

     Lemma 4.24.2 in The Stacks project.