Given the definition of $\tilde\vf$ and since the profunctor composition $\otimes$ is defined by a coend (Linton, 1969), $\vf$ exact is equivalent to the fact that for all $x\in X_0, y\in Y_0$, the maps $\tilde\vf_{x,y}(a)$ induce an isomorphism