There is a way in which we can think about a natural transformation $\eta: F \rightarrow G$ as a homotopy between functors $F,G:\mathcal{C}\rightarrow \mathcal{D}$. Now, an adjunction $F \dashv G$ gives rise to "homotopies" $\epsilon:FG \rightarrow 1_{\mathcal{C}}$ and $\eta:1_{\mathcal{D}} \rightarrow GF$, namely the counit and unit. If again we borrow the language of topology, one could say that the existence of an adjunction implies that the two categories $\mathcal{C}$ and $\mathcal{D}$ have the same "homotopy type".
Is this a useful picture to have in mind when dealing with adjunctions? Is it well-known?
Thanks for your time.