Equivalence between lax algebras for parametrised endofunctors and iterated monads
Equivalence conjecture. The assignment sending (X,(P,f))(X,(P,f))(X,(P,f)) to the corresponding lax algebra for FκF^\kappaFκ,
MathDB