(оффтоп. возвращаясь к графу, это даже близко не фентезийная магия, это как раз магия концептуальная, считай просто графический язык, на котором можно записать что угодно, а язык в свою очередь подчинён некоторым правилам... A N-арным оператором F вообще можно назвать произвольный морфизм F:a1⊗a2⊗..aN->b)