NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

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

     Lemma 4.24.2 in The Stacks project.