@hackage adjunctions4.4.3

Adjunctions and representable functors

Adjunctions and representable functors.