Let $C$ be a category and $F\in[C^{op}, Cat]$ be a strong functor.
(1) There are functors
$$hom_C(c',c)\times F(c)\to F(c').$$
(2) The grothendieck construction gives a 2-equvalence
$$\int_C: [C^{op},Cat]\to Fib_C$$
(3) Fibrations over $C$ are categories over $C$ together with a left action of the morphism double category $Mor_C$. ($Mor_C$ is a 2-monoid in the 2-category of spans from $C$ to $C$; the 2-monoidal structure is given by the strong pullback. This induces a 2-monad on the 2-category of spans from $C$ to $pt$, the one-point category. Algebras for this monad are fibrations.)
(4) Let $\int_C^D$ denote the grothendieck construction for distributors. We have
$$\int_C^C hom_C = Mor_C$$
and
$$\int_C^{pt} F = \int_C F$$
Question: How do these parts fit together?
The maps from (1) should result in a transformation
$$hom_C\otimes_C F \to F$$
and the action of $Mor_C$ is given by a functor
$$\int hom \times_C \int F \to \int F.$$
Now: If the grothendieck construction was laxely (or even strongly) compatible with the the products involved - that is, A lax (or strong) bifunctor - these two actions would naturally correspond to each other.
Question 2: Is it? And if so: Can this be shown without using the explicit description of the grothendieck construction; only by using the characterisation as a weighted limit?
Edit: I reformulated the question.
