Adjunctions and representable functors
