Let $L, L'$ be two left adjoints, and their right adjoints are $R, R'$ respectively, a natural transformation $\alpha : L \to L'$ has a correspondence $\beta : R' \to R$.

Proof [local-0]

We can construct