signature

Last updated Aug 28, 2024

• graphs are signatures for categories,
• multigraph are signatures for multicategories, monoidal categories
• cocommutative hypergraph
• acyclic linear hypergraphs
• polygraphs