WIP: adjunctions
Finished definition of Adjunctions
Adjunction definition complete