Introducing String Diagrams - The Art of Category Theory

Ralf Hinze, Dan Marsden, 9781009317863, 9781009317825