MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $V$ is a monoidal model category, then its homotopy category $\mathrm{Ho}(V)$ is a monoidal category. Similarly, if $M$ is a $V$-model category, then $\mathrm{Ho}(M)$ is a $\mathrm{Ho}(V)$-category.

On the other hand, if $M$ is a stable model category, then $\mathrm{Ho}(M)$ is a triangulated category. In "The additivity of traces in triangulated categories", May wrote down a list of compatibility axioms between a monoidal structure and a triangulation, and showed that if $V$ is a monoidal stable model category then $\mathrm{Ho}(V)$ satisfies these axioms.

One could easily write down versions of (most of) May's axioms relative to an enrichment rather than a monoidal structure, replacing the monoidal tensor product by the tensor of an enrichment, and the internal-homs with the cotensor and enriched-homs. Essentially the same proof would then show that if $V$ is a stable monoidal model category and $M$ is a (stable) $V$-model category, then the enrichment of $\mathrm{Ho}(M)$ over $\mathrm{Ho}(V)$ satisfies these axioms.

Has anyone done this? Is it useful for anything?

share|cite|improve this question
I haven't seen it, and I'd say it could be useful, although I don't have any concrete application in mind. – Fernando Muro Jan 22 '14 at 12:15

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.