Author: Urs Format: MarkdownItexI have added ([here](https://ncatlab.org/nlab/show/infinity1-category+of+infinity1-functors#CompatibilityOfModelPresentationWithPrecomposition)) what currently looks to me like a proof that the model category presentation of $\infty$-functor categories is compatible with (derived) base change, up to natural equivalence.
<a href="https://ncatlab.org/nlab/revision/diff/%28infinity%2C1%29-category+of+%28infinity%2C1%29-functors/26">diff</a>, <a href="https://ncatlab.org/nlab/revision/%28infinity%2C1%29-category+of+%28infinity%2C1%29-functors/26">v26</a>, <a href="https://ncatlab.org/nlab/show/%28infinity%2C1%29-category+of+%28infinity%2C1%29-functors">current</a>
I have added (here) what currently looks to me like a proof that the model category presentation of -functor categories is compatible with (derived) base change, up to natural equivalence.
Author: Urs Format: MarkdownItexhave improved the typesetting of the diagram in the proof ([here](https://ncatlab.org/nlab/show/infinity1-category+of+infinity1-functors#ProofOfCompatibilityOfModelPresentationWithPrecomposition))
<a href="https://ncatlab.org/nlab/revision/diff/%28infinity%2C1%29-category+of+%28infinity%2C1%29-functors/27">diff</a>, <a href="https://ncatlab.org/nlab/revision/%28infinity%2C1%29-category+of+%28infinity%2C1%29-functors/27">v27</a>, <a href="https://ncatlab.org/nlab/show/%28infinity%2C1%29-category+of+%28infinity%2C1%29-functors">current</a>
have improved the typesetting of the diagram in the proof (here)