Finished definition of Adjunctions