2 problems

0 votes0 replies0 views
Regular polygraphs model
Let $\mathbf{RAtom}_\textit{in}$ be the subcategory of inner regular atoms and let $\mathbf{RPol}:=\mathbf{PSh}_{}(\mathbf{RAtom}_\textit{in})$ . The category $\mathbf{RPol}$ should…
Conjectureopenhigher-categories polygraphs presheaf-categoriesarXiv posted 2 days ago
0 votes0 replies1 view
Conjecture on the scarcity of finite-limit classes that extend
The discussion concerns classes of finite limits and the conditions under which the presheaf Kleisli structure extends to the corresponding algebraic structure. Conjecture. There a…
Conjectureopencategory-theory finite-limits presheaf-categoriesarXiv posted 2 days ago

Regular polygraphs model