pretty adjunctions