We can interpret a profunctor $F:C^{\mbox{op}}\times D \to \mbox{Set}$ between small categories as adjoining some morphisms to the category $C \cup D$ to get a new category $\tilde{F}$. Then a natural transformation between profunctors $F, G$ can be seen as a functor between $\tilde{F}, \tilde{G}$. We can also look at profunctors between $\tilde{F}, \tilde{G}$, but I don't know what such things are called--searching Google for "pronatural transformation" gives no hits, and "natural pro-transformation" gives a single hit, S. Yokura's paper. Nothing for "cocontinuous natural transformation" or "natural cocontinuous transformation" either.
Are these studied under some other name?
