В математике , и особенно в теории категорий , полиграф является обобщением ориентированного графа . Он также известен как вычислительный . Они были представлены как «полиграфы» Альбертом Буррони [1] и как «вычислители» Росс Стрит . [2]
Точно так же, как ориентированный мультиграф может свободно генерировать категорию , n -вычисление является «наиболее общей» структурой, которая может генерировать свободную n-категорию . [3]