2017-09-06: Ross Duncan (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Ross Duncan (MSP)

Binding and Substitution in String Diagrams

Abstract

In the categorical semantics of (e.g.) the simply typed lambda calculus substitution of a variable by a term is achieved by composing morphisms. What is the equivalent notion in diagrammatic languages? What even is a "variable" in this context? I'll sketch some (pretty) rough ideas for the beginnings of a “functional language” of diagrams including substitution, binding, and pattern matching. It turns out to all be about operads and co-operads.

2017-09-06 14:00:00 UTC
LT1310