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