)In general, the phrases "formula_6 is a left adjoint" and "formula_6 has a right adjoint" are equivalent.If "F" is left adjoint to "G", we also write

The terminology comes from the Hilbert space idea of adjoint operators "T", "U" with formula_19, which is formally similar to the above relation between hom-sets.