adjunction (hackage): See README for more info
Keywords: adjunctions|bsd3|library|math