Adjoint_Functors_And_Triples