Assume we have a commutative diagram of functors $$ \array{ X&\stackrel{f^*}{\to}& Y\\ {\scriptstyle{g^*}}\downarrow\phantom{m} & & \phantom{m}\downarrow{\scriptstyle{k^*}}\\ Z&\stackrel{h^*}{\to}& T } $$ (where the natural isomorphism filling the 2-cell is not explicitly written), and assume that all the functors $f^*,g^*,k^*,h^*$ are parts of biadjoint pairs $(f^*,f_*)$, $(g^*,g_*)$ etc. such that also $f_*,g_*,h_*,k_*$ give a commutative diagram $$ \array{ X&\stackrel{f_*}{\leftarrow}& Y\\ {\scriptstyle{g_*}}\uparrow\phantom{m} & & \phantom{m}\uparrow{\scriptstyle{k_*}}\\ Z&\stackrel{h_*}{\leftarrow}& T } $$ (for instance $f^*$ can be the restriction functor for finite dimensional finite groups reprentations and $f_*$ the induced representation functor).

Then we can form the following diagram of natural transformations $$ \array{ f_*f^*&\stackrel{\epsilon_f}{\to}& Id &\stackrel{\eta_g}{\to} g_*g^*\\ {\scriptstyle{f_*}\eta_k{f^*}}\downarrow\phantom{mmm} & & &\phantom{mmmm}\uparrow{\scriptstyle{g_*}\epsilon_h{g^*}}\\ f_*k_*k^*f^*&&\stackrel{\sim}{\longrightarrow}& g_*h_*h^*g^* } $$ where $\eta, \epsilon$ are the unit and counit of the adjuctions and where the isomorphism on the bottom horizontal arrow is the one given by the commutative diagrams above.

And the question is: when does this diagram commutes?

Always? (I'm not confident in this, but I admit I got lost in my computations, so it is very well possible I've missed something elementary here)

If not always (as I think), are there known "natural" conditions ensuring its commutativity?

are there known classical examples of the above situation in which the latter diagram does commute?

The problem originating this question is that of giving an "as much functorial as possible" construction of the discrete quantization functor considered by Freed-Hopkins-Lurie-Teleman in Topological Quantum Field Theories from Compact Lie Groups, at least for the case of 1-categories.