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](http://arxiv.org/abs/0905.0731), at least for the case of 1-categories.



A Beck-Chevalley type condition
The answer is *always*, provided you choose compatible 2-cells filling the first two diagrams. Probably, you didn't see it because you removed from notation these 2-cells. Let us give a name to the natural isomorphism for the first square:


$$\zeta\colon k^\ast f^\ast\cong h^\ast g^\ast$$


You need not demand the second square to be commutative, it automatically commutes by uniqueness of adjoints. The wise choice is:


$$f\_\ast k\_\ast
\stackrel{f\_\ast k\_\ast\eta\_h}\longrightarrow f\_\ast k\_\ast h^\ast h\_\ast
\stackrel{f\_\ast k\_\ast h^\ast \eta\_g h\_\ast}\longrightarrow f\_\ast k\_\ast h^\ast g^\ast g\_\ast h\_\ast
\stackrel{f\_\ast k\_\ast \zeta^{-1} g\_\ast h\_\ast}\longrightarrow f\_\ast k\_\ast k^\ast f^\ast g\_\ast h\_\ast
\stackrel{f\_\ast \epsilon\_k f^\ast g\_\ast h\_\ast}\longrightarrow f\_\ast f^\ast g\_\ast h\_\ast
\stackrel{\epsilon\_f g\_\ast h\_\ast}\longrightarrow g\_\ast h\_\ast$$


This choice is precisely taken from the usual proof of uniqueness of adjoints.


With this choice, it's a straightforward exercise on 2-categorical composition to check that your third diagram commutes. You must also use the equations satisfied by (co)units in an adjunction.


