The enrichment–module equivalence for symmetric monoidal Lawvere theories

Let L\mathcal{L} be a Lawvere theory admitting a symmetric monoidal structure compatible with finite products. Consider the \infty-categories of MdlL\operatorname{Mdl}_{\mathcal{L}}-enriched Lawvere theories and L\mathcal{L}-module Lawvere theories. The enrichment–module conjecture. These \infty-categories are equivalent. This would provide a converse to the result that an L\mathcal{L}-compatible symmetric monoidal structure induces enrichment of modules over L\mathcal{L}; the paper presents it as a suggested strong converse, and no proof or resolution is given.

Sources & referencesView supporting material

Primary source

John D. Berman, “Higher Lawvere theories”, arXiv:1903.02991 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.