Supermaps on generalised theories
Diese Arbeit etabliert das Yoneda-Lemma für kategorische Supermaps, um eine eindeutige Darstellung höherer Ordnungsoperationen in verallgemeinerten physikalischen Theorien zu ermöglichen, und wendet dies erfolgreich auf Boxworld sowie auf eine stabile Definition der reellen Quantentheorie an.