Monoidale Computer: Berechenbarkeit mit String-Diagrammen
Monoidal computer I: Basic computability by string diagrams (2012)
Ein neues Berechnungsmodell auf Basis monoidaler Kategorien, das die Church-Turing-These erfüllt und dieselben berechenbaren Funktionen wie Standardmodelle erfasst. Es bietet eine prägnante kategorielle Schnittstelle, die von Implementierungsdetails abstrahiert, und nutzt String-Diagramme als formale, intuitive grafische Sprache. Ziel ist eine höhere Programmiersprache für eine Theorie der Rechenressourcen wie Einwegfunktionen und Trapdoor-Funktionen.
Die herausragende Eigenschaft der Sprache der monoidalen Kategorien ist, dass sie durch einen korrekten und vollständigen grafischen Formalismus, die String-Diagramme, unterstützt wird, die eine konkrete und intuitive Schnittstelle für abstraktes Denken über Berechnungen bieten.