Double adjunctions