An Introduction to String Diagrams for Computer Scientists

String diagrams are a powerful graphical language used to represent computational phenomena across diverse scientific fields, including computer science, physics, linguistics, amongst others. The appeal of string diagrams lies in their multi-faceted nature: they offer a simple, visual representation of complex scientific ideas, while also allowing rigorous mathematical treatment.

Originating in category theory, string diagrams have since evolved into a versatile formalism, extending w…