String Diagrams for Closed Symmetric Monoidal Categories
By: Callum Reader, Alessandro Di Giorgio
Potential Business Impact:
Draws math ideas with pictures, making them easier.
We introduce a graphical language for closed symmetric monoidal categories based on an extension of string diagrams with special bracket wires representing internal homs. These bracket wires make the structure of the internal hom functor explicit, allowing standard morphism wires to interact with them through a well-defined set of graphical rules. We establish the soundness and completeness of the diagrammatic calculus, and illustrate its expressiveness through examples drawn from category theory, logic and programming language semantics.
Similar Papers
A Diagrammatic Basis for Computer Programming
Logic in Computer Science
Makes computer programs easier to draw and understand.
Timing via Pinwheel Double Categories
Category Theory
Makes computer programs understand time better.
Between Markov and restriction: Two more monads on categories for relations
Logic in Computer Science
Organizes math ideas about how things connect.