Corollary 3.4. Assuming that:

$F$ and $F^{'}$ are both left adjoint to $G : D \to C$

Then there is a canonical natural isomorphism

α : F \to F^{'}