Elektrine lite

← Feed

HarrisonGrodin

HarrisonGrodin@mathstodon.xyz

<p>PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory</p>

Posts

  • Post #1655834

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