References Constructing Symmetric Monoidal Bicategories (Shulman) String Diagrams for Proarrow Equipments (Myers) Tags: formal category theory.