Doing: Adjunction Definitions (Hom, Unit, Counit)