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).
• Amar Hadzihasanovic has notes on formal category theory via string diagrams.