Modules in wire diagrams

Tags: Quasistrict Symmetric Monoidal 2-Categories via Wire Diagrams (Bartlett), Wire diagrams, Module, bicategory, Kleisli object.