An Introduction to String Diagrams for Computer Scientists

05/15/2023

∙

by   Robin Piedeleu, et al.

∙

0

∙

share

This document is an elementary introduction to string diagrams. It takes a computer science perspective: rather than using category theory as a starting point, we build on intuitions from formal language theory, treating string diagrams as a syntax with its semantics. After the basic theory, pointers are provided to contemporary applications of string diagrams in various fields of science.