Open Research Index

On the equivalence of two approaches to multiplicative homotopy theories

Kensuke Arakawa

arXivarxiv/2603.23018Mar 24, 2026math.CTscore 0

We study the relation of two frameworks for multiplicative homotopy theories: Presentably symmetric monoidal $\infty$-categories and combinatorial symmetric monoidal model categories. Our main theorem establishes an equivalence of their homotopy theories. As consequences, we solve Pavlov's conjecture and obtain a solution to a special case of Hovey's 10th problem. We also prove several variations of the main theorem, such as an analog for non-symmetric monoidal semi-model categories.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2603.23018
curl -X POST /api/v1/records/arxiv/2603.23018/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.23018/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'