1 problem

0 votes0 replies0 views
Equivalence between lax algebras for parametrised endofunctors and iterated monads
Equivalence conjecture. The assignment sending $(X,(P,f))$ to the corresponding lax algebra for $F^\kappa$ ,
Conjectureopenactegories category-theory monadsarXiv posted 2 days ago

Equivalence between lax algebras for parametrised endofunctors and iterated monads