En matemáticas , y en particular en teoría de categorías , un polígrafo es una generalización de un grafo dirigido . También se lo conoce como computad . Fueron introducidos como "polígrafos" por Albert Burroni [1] y como "computads" por Ross Street [2] .
De la misma manera que un multigrafo dirigido puede generar libremente una categoría , una n -computada es la estructura "más general" que puede generar una n-categoría libre . [3]