Adjoint functors and triples.