String Diagrams for Monoidal Categories
Wires = objects, boxes = morphisms, tensor = side-by-side, composition = vertical stacking
Composition
Tensor Product
Adjunction / Bend
Yanking Lemma
Symmetry