An Introduction to String Diagrams for Computer Scientists

Understand

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.