Higher-dimensional normalisation strategies for acyclicity (Q456807): Difference between revisions
From MaRDI portal
Changed an Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 05:26, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Higher-dimensional normalisation strategies for acyclicity |
scientific article |
Statements
Higher-dimensional normalisation strategies for acyclicity (English)
0 references
16 October 2012
0 references
In 1994, Squier linked the existence of a finite convergent presentation of a monoid to a homotopical invariant of monoids, called finite derivation type. Using this result, he gave another proof that there exists finitely generated monoids with a decidable word problem that do no admit a finite convergent presentation. In this paper, the authors use normalisation strategies to construct an explicit polygraphic resolution from a convergent presentation. They define a higher-dimensional homotopical finiteness condition for higher categories which is an extension of Squier's finite derivation type for monoids, and relate it to a new homological finiteness condition.
0 references
rewriting
0 references
polygraphic resolution
0 references
homology of small categories
0 references