Not related to this old question of mine, but takes the question from a different perspective.

Let $\mathcal V$ be a monoidal model category (following the def of Hovey, for example). Then there is a bicategory $\text{Prof}(\mathcal V)$ of $\cal V$-valued profunctors, which has the following interesting property:

every hom-category has a model structure[1].

This is, I think, the paradigmatic example of a "locally model bicategory". There can be others: I'm interested in examples for this notion and related results.

I'm trying to get a list of properties to impose to the general notion (a "locally model 2-category", i.e. a 2-category "enriched" over model categories -this is not a true definition, as there is no sensible monoidal structure on model categories-).

Let's for example consider the following explicit question:

Let $\varphi\colon {\bf A}\looparrowright{\bf B}$ be a profunctor, and $\bf X$ be a category; then precomposition by $\varphi$ gives $$ \text{Prof}({\bf B},{\bf X}) \overset{-\diamond \varphi}\to \text{Prof}({\bf A},{\bf X}) $$ which has left and right adjoints $\text{Lan}_\varphi$, $\text{Ran}_\varphi$ defined by the co/ends $$ \text{Ran}_\varphi\psi(b,x) \cong \int_a \hom(\varphi(a,b), \psi(a,x)) $$ (Lan is similar). Does $-\diamond \varphi \dashv \text{Ran}_\varphi$ form a Quillen adjunction?

===

[1] in fact, many! Let's take $\mathcal V = \bf sSet$ and declare that I want to study the injective model structure on $\text{Prof}(\mathbf{sSet})(\mathbf A,\mathbf B)=[\mathbf A^\text{op}\times \mathbf B,\mathbf{sSet}]$.

isthe left adjoint. Precomposition by afunctorhas both a left and a right adjoint, but that string of three adjoints arises from the single adjunctions associated to thetworepresentable profunctors. $\endgroup$