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