Un modelo de computación con categorías monoidales y diagramas de cuerdas
Monoidal computer I: Basic computability by string diagrams (2012)
Dusko Pavlovic presenta un nuevo modelo de computación basado en categorías monoidales que respeta la tesis de Church-Turing y captura las mismas funciones computables que los modelos estándar. Su interfaz categorial prescinde de los detalles de implementación y se apoya en los diagramas de cuerdas, un formalismo gráfico sólido y completo para razonar sobre computación. El objetivo final es crear un lenguaje de programación de alto nivel para una teoría de recursos computacionales, como funciones unidireccionales y funciones trampa.
La característica más destacada del lenguaje de las categorías monoidales es que está respaldado por un formalismo gráfico sólido y completo, los diagramas de cuerdas, que proporcionan una interfaz concreta e intuitiva para el razonamiento abstracto sobre la computación.