Say $\langle F_1,G^1\rangle$ is an adjunct pair between two categories A and B and $\langle F_2,G^2\rangle$ is also an adjoint pair between the categories B and C, then would $\langle F_2\circ F_1,G^1\circ G^2\rangle$ be an adjoint pair between the categories A and C?

If not is there some way of obtain an adjunction given the assumptions made on the 4 functors, or by adding extra properties to the categories?

Particularly, here I am assuming A is the category $_RMod$ for some (apriori) arbitrary ring.

• Woops.. I recopied the wrong thing from my note pad :0 – AIM_BLB Feb 19 '14 at 14:29
• Ok. What have you tried? The proof is one line long. – Martin Brandenburg Feb 19 '14 at 14:37

The adjunctions hypothesized give: $C(F_2(b),c)\cong B(b,G^2(c))$ and $B(F_1(a),\tilde{b}) \cong A(a,G^1(\tilde{b}))$.
Now setting b:=$F_1(a)$ and $\tilde{b}:=G^2(c)$ it may be concluded: $A(a,G^1(G^2(c))) \cong B(F_1(a),G^2(c)) \cong C(F_2(F_1(a)),c)$.
So $F_2\circ F_1$ is left adjoint to $G^1\circ G^2$.