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.