added the composition of adjunctions