Tools and Algorithms for the Construction and Analysis of Systems. Vol. 14571, Issue. , p. 279. String diagrams are powerful graphical methods for reasoning in elementary category theory. Written in ...

String diagrams are powerful graphical methods for reasoning in elementary category theory. Written in an informal expository style, this book provides a self-contained introduction to these ...