Author: Urs Format: MarkdownItexadded ([here](https://ncatlab.org/nlab/show/enriched+model+category#MonoidalModelCategoryIsEnrichedModelOverItself)) the previously missing example that monoidal model categories are enriched over themselves, together with the Joyal-Tierney calculus that shows this.
<a href="https://ncatlab.org/nlab/revision/diff/enriched+model+category/23">diff</a>, <a href="https://ncatlab.org/nlab/revision/enriched+model+category/23">v23</a>, <a href="https://ncatlab.org/nlab/show/enriched+model+category">current</a>
added (here) the previously missing example that monoidal model categories are enriched over themselves, together with the Joyal-Tierney calculus that shows this.
Following discussion in another thread (here), I have adjusted notation for the lifting property (to “”, using ⧄) in the proof (here) that the pushout-product axiom implies the pullback-power axiom.