Samuel Steakley

A colorful diagrammatic language for the 2-category of categories has been exposited in a recent monograph by Dan Marsden and Ralf Hinze. In this tutorial, we will demonstrate how to use the language, and we will emphasize its benefits for the study...

The formalization of string diagrams, in a 1991 paper by Andre Joyal and Ross Street, was a seminal event. They defined a basic diagrammatic language and proved its validity for rigorous mathematics in any monoidal category, and in doing so they laid...