Polygraph (mathematics)
From HandWiki
Revision as of 07:27, 17 January 2021 by imported>NBrush (fix)
In mathematics, and particularly in category theory, a polygraph is a generalisation of a directed graph. It is also known as a computad. They were introduced as "polygraphs" by Albert Burroni[1] and as "computads" by Ross Street.[2]
In the same way that a directed multigraph can freely generate a category, an n-computad is the "most general" structure which can generate a free n-category.[3]
References
 |  |
