theory of diagrams with holes

Tags: wiring diagrams, Context theory for monoidal categories.