2 problems

0 votes0 replies1 view
The conjecture on the essential infinitude of countably-sorted presentations of Lawvere theories
The object-classifier topos is ${\boldsymbol{\mathcal{F}}}={{\boldsymbol{\mathcal{S}\hspace{-.5mm}\mathit{et}}}}^\mathbb{F}$ , and the paper considers countably-sorted equational pr…
Conjectureopencategory-theory lawvere-theories universal-algebraarXiv posted 2 days ago
0 votes0 replies0 views
The enrichment–module equivalence for symmetric monoidal Lawvere theories
Let $\mathcal{L}$ be a Lawvere theory admitting a symmetric monoidal structure compatible with finite products. Consider the $\infty$ -categories of…
Conjectureopenenriched-categories higher-category-theory lawvere-theoriesarXiv posted 2 days ago

The conjecture on the essential infinitude of countably-sorted presentations of Lawvere theories