String diagrams for category theory

Bicategorical string diagrams can be used for formal category theory when instantiated to Cat, the bicategory of categories.

References.

• Category Theory Using String Diagrams (Marsden, 2014).
• Amar Hadzihasanovic has notes on formal category theory via string diagrams.