2 problems

0 votes0 replies1 view
The free-monad conjecture for the delta-lens semi-monad
Let $\mathcal{C}$ be the category under consideration, and let $(T,\nu)$ be a semi-monad on its arrow category $\mathcal{C}^{\mathbf{2}}$ . Let $(R,\eta,\mu)$ be the monad on…
Conjectureopenalgebraic-weak-factorisation-systems category-theory delta-lensesarXiv posted 2 days ago
0 votes0 replies0 views
Garner's conjecture on left maps and relative cell complexes
In a cofibrantly generated algebraic weak factorisation system, a left map is a morphism equipped with the corresponding left map structure, and a relative cell complex is a morphi…
Conjectureopenalgebraic-weak-factorisation-systems category-theory cell-complexesarXiv posted 2 days ago

The free-monad conjecture for the delta-lens semi-monad