Higher-dimensional normalisation strategies for acyclicity

Details Higher-dimensional normalisation strategies for acyclicity Higher-dimensional normalisation strategies for acyclicity

2010-11-02

arxiv.org/abs/1011.0558v1

Mathematics

Category Theory

46 pages

Scientific paper

We introduce acyclic track polygraphs, a notion of complete categorical cellular models for small categories: they are polygraphs containing generators, with additional invertible cells for relations and higher-dimensional globular syzygies. We give a rewriting method to realise such a model by proving that a convergent presentation canonically extends to an acyclic track polygraph. For that, we introduce normalising strategies, defined as homotopically coherent ways to relate each cell of a track polygraph to its normal form, and we prove that acyclicity is equivalent to the existence of a normalisation strategy.

Affiliated with

Also associated with

No associations

Rating

Higher-dimensional normalisation strategies for acyclicity does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Higher-dimensional normalisation strategies for acyclicity, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Higher-dimensional normalisation strategies for acyclicity will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-595326