Post #1655834

I just pushed a new preprint, "Amortized Analysis via Coalgebra": https://arxiv.org/abs/2404.03641 TL;DR: amortized analysis is giving a (colax) morphism between "implementation" and "specification" coalgebras over an endo(-2-)(pro)functor on the category of writer monad algebras. Thoughts/feedback welcome, as always! :)