Matt Earnshaw › selected talks [#248]

Reference. Monoidal optics are universal [earnshaw-2024-monoidal-optics-talk]

Reference. From monoidal automata to string diagrams for effects [earnshaw-2024-monoidal-automata-talk]

Reference. Context-free languages of string diagrams [earnshaw-2024-context-free-string-diagrams-talk]

Reference. Presentations of premonoidal categories by devices [earnshaw-2023-presentations-of-premonoidals-talk]

Reference. Monoidal languages [earnshaw-2023-monoidal-languages-talk]

Reference. String diagrammatic trace theory [earnshaw-2023-string-diagrammatic-trace-theory-talk]

Reference. Enrichment in bicategories [earnshaw-2023-enrichment-in-bicategories-talk]

Reference. Natural structure and the dialectic of concept formation [earnshaw-2023-natural-structure-talk]

Reference. Regular monoidal languages [earnshaw-2022-regular-monoidal-languages-talk]