ในทางคณิตศาสตร์และโดยเฉพาะอย่างยิ่งในทฤษฎีหมวดหมู่โพลีกราฟเป็นการวางนัยทั่วไปของกราฟแบบมี ทิศทาง เรียกอีกอย่างว่าคอมพิวแทดอัลเบิร์ต บูร์โรนี^{[ 1 ]} เป็นผู้แนะนำโพ ลี กราฟ และรอสส์ สตรีท [ ^{2 ] เป็น ผู้แนะนำคอมพิวแทด}

ในทำนองเดียวกันกับที่มัลติกราฟแบบมีทิศทางสามารถสร้างหมวดหมู่ได้อย่างอิสระ n - computad ก็เป็นโครงสร้างที่ "ทั่วไปที่สุด" ซึ่งสามารถสร้างn-categoryได้ อย่างอิสระ ^{[ 3 ]}

ในบริบทของกราฟ แต่ละมิติจะถูกแทนด้วยเซตของ${\displaystyle k}$-เซลล์จุดยอดจะประกอบเป็นเซลล์ 0 ขอบที่เชื่อมจุดยอดจะเป็นเซลล์ 1 จากนั้นมิติที่สูงขึ้นแต่ละมิติจะเชื่อมกลุ่มของมิติที่ต่ำกว่า สำหรับเซลล์ 2 ขึ้นไป ซึ่งเชื่อมขอบเข้าด้วยกัน แหล่งที่มาหรือเป้าหมายอาจประกอบด้วย ขอบ หลายเส้นของมิติที่ต่ำกว่า ตราบใดที่แต่ละชุดขององค์ประกอบเป็นองค์ประกอบผสมกล่าวคือ เป็นเส้นทางที่เชื่อมต่อแบบปลายต่อปลาย^{[ 3 ]}

ชุดข้อมูลทรงกลมสามารถมองได้ว่าเป็นตัวอย่างเฉพาะของการตรวจจับโกหก ในการตรวจจับโกหกนั้น แหล่งที่มาหรือเป้าหมายของ${\displaystyle k}$-เซลล์อาจประกอบด้วยเส้นทางทั้งหมดขององค์ประกอบของ (${\displaystyle k}$-1)-เซลล์ แต่เซตทรงกลมจำกัดสิ่งนี้ไว้ที่องค์ประกอบเอกพจน์ของ (${\displaystyle k}$-1)-เซลล์^{[ 3 ] [ 4 ]}