The enrichment–module equivalence for symmetric monoidal Lawvere theories
The enrichment–module equivalence for symmetric monoidal Lawvere theories
Let be a Lawvere theory admitting a symmetric monoidal structure compatible with finite products. Consider the -categories of -enriched Lawvere theories and -module Lawvere theories. The enrichment–module conjecture. These -categories are equivalent. This would provide a converse to the result that an -compatible symmetric monoidal structure induces enrichment of modules over ; 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.