Home • Search • Translate
From Wikipedia, the free encyclopedia
This article is about a notion of higher-dimensional directed graph. For the forensic instrument, see Polygraph. For the dual pen device that produces a simultaneous copy of an original while it is written in cursive writing, see Polygraph (duplicating device). For an author that can write on a variety of different subjects, see Polygraph (author).

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

  1. ^ A. Burroni. Higher-dimensional word problems with applications to equational logic. TCS, 115(1):43--62, 1993.
  2. ^ R. Street. Limits indexed by category-valued 2-functors. Journal of Pure and Applied Algebra, 8(2):149--181, 1976.
  3. ^ computad at the nLab


Stub icon

This category theory-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from " https://en.wikipedia.org/?title=Polygraph_(mathematics)&oldid=584030981"
From Wikipedia, the free encyclopedia
This article is about a notion of higher-dimensional directed graph. For the forensic instrument, see Polygraph. For the dual pen device that produces a simultaneous copy of an original while it is written in cursive writing, see Polygraph (duplicating device). For an author that can write on a variety of different subjects, see Polygraph (author).

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

  1. ^ A. Burroni. Higher-dimensional word problems with applications to equational logic. TCS, 115(1):43--62, 1993.
  2. ^ R. Street. Limits indexed by category-valued 2-functors. Journal of Pure and Applied Algebra, 8(2):149--181, 1976.
  3. ^ computad at the nLab


Stub icon

This category theory-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from " https://en.wikipedia.org/?title=Polygraph_(mathematics)&oldid=584030981"

Videos

Youtube | Vimeo | Bing

Websites

Google | Yahoo | Bing

Encyclopedia

Google | Yahoo | Bing

Facebook




Top Of Page

Home • Search • Translate

© CSE