Ancestors

Toot

Written by HarrisonGrodin on 2025-01-02 at 20:18

Last month, I gave a talk at the @ToposInstitute explaining how to think about amortized analysis coalgebraically, where a "potential function" is a structure-preserving morphism in a cost-aware category: https://youtu.be/A4TTyeVsheM

(paper published here: https://entics.episciences.org/14797)

=> More informations about this toot | More toots from HarrisonGrodin@mathstodon.xyz

Descendants