Adjoint functors and triples | Synapse