 Double-adjoint comparison transformation

For $F⊣G⊣H$ with full and faithful $G$, write $\eta ,\epsilon$ for the first unit and counit and $\alpha ,\beta$ for the second. The two compositescoincide. Their common value is the double-adjoint comparison transformation $H\to F$.