\begin{align*} \textup{Hom}_{\mathbf{Rel}\webleft (X,B\webright )}\webleft (R\mathbin {\diamond }S,T\webright ) & \cong \int _{x\in X}\int _{b\in B}\mathbf{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (\webleft (R\mathbin {\diamond }S\webright )^{x}_{b},T^{x}_{b}\webright )\\ & \cong \int _{x\in X}\int _{b\in B}\mathbf{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (\webleft (\int ^{a\in A}R^{a}_{b}\times S^{x}_{a}\webright ),T^{x}_{b}\webright )\\ & \cong \int _{x\in X}\int _{b\in B}\int _{a\in A}\mathbf{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (R^{a}_{b}\times S^{x}_{a},T^{x}_{b}\webright )\\ & \cong \int _{x\in X}\int _{b\in B}\int _{a\in A}\mathbf{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (S^{x}_{a},\mathbf{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (R^{a}_{b},T^{x}_{b}\webright )\webright )\\ & \cong \int _{x\in X}\int _{a\in A}\int _{b\in B}\mathbf{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (S^{x}_{a},\mathbf{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (R^{a}_{b},T^{x}_{b}\webright )\webright )\\ & \cong \int _{x\in X}\int _{a\in A}\mathbf{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (S^{x}_{a},\int _{b\in B}\mathbf{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (R^{a}_{b},T^{x}_{b}\webright )\webright )\\ & \cong \textup{Hom}_{\mathbf{Rel}\webleft (X,A\webright )}\webleft (S,\int _{b\in B}\mathbf{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (R^{-_{2}}_{b},T^{-_{1}}_{b}\webright )\webright )\end{align*}
naturally in each $S\in \mathbf{Rel}\webleft (X,A\webright )$ and each $T\in \mathbf{Rel}\webleft (X,B\webright )$, showing that
\[ \int _{b\in B}\mathbf{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (R^{-_{2}}_{b},T^{-_{1}}_{b}\webright ) \]
is right adjoint to the postcomposition functor $R\mathbin {\diamond }-$, being thus the right Kan lift along $R$. Here we have used the following results, respectively (i.e. for each $\cong $ sign):
