Amortisierte Analyse von Datenstrukturen mithilfe von Koalgebren

Amortisierte Analyse ist eine Kostenbewertungstechnik für Datenstrukturen, bei der die Kosten im Aggregat betrachtet werden, anstatt die maximalen Kosten einer einzelnen Operation zu berücksichtigen. Diese Technik lässt sich natürlich als Koalgebra auffassen, bei der ein Morphismus von Koalgebren als verallgemeinerte Potenzialfunktion dient, um Kosten und Verhalten zu integrieren.