@hackage adjunctions4.4

Adjunctions and representable functors

Adjunctions and representable functors.