adjunctions (hackage): Adjunctions and representable functors.
Keywords: adjunctions|bsd3|data-structures|library