Let and . Given an Adjunction there is a Natural Transformation such that in corresponds to in . Dually, we have Counit Triangular Identities