Полиграф (математика)
В математике , и особенно в теории категорий , полиграф является обобщением ориентированного графа . Он также известен как вычислительный . Их представил Альберт Буррони как «полиграфы». [1] и как «вычислители» Росс Стрит . [2]
Точно так же, как ориентированный мультиграф может свободно генерировать категорию , n -вычисление является «наиболее общей» структурой, которая может генерировать свободную n-категорию . [3]
Ссылки [ править ]
- ^ А. Буррони. Словесные задачи более высокой размерности с приложениями к эквациональной логике . ТКС, 115(1):43-62, 1993.
- ^ Р. Стрит. Пределы, индексированные 2-функторами со значением категории. Журнал чистой и прикладной алгебры, 8 (2): 149–181, 1976.
- ^ вычисления в n Lab
 | Эта теории категорий статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |