
Given a morphism of spaces $f: T\to S$, and a diagram indexed by $T$ in $Cat_{(\infty,1)}$, $F: S\to Cat_{(\infty,1)}$, by pre-composition $T\to S\to Cat_{(\infty,1)}$, we get a new diagram $Ff: T\to Cat_{(\infty,1)}$.
By taking the colimits, we have a morphism colim$_{\xi\in T} F(f(\xi))\to $co...