Adjoint universal

Connect adjoints and universal morphisms.

This is on top of #251 and #253.