Higher-dimensional normalisation strategies for acyclicity (Q456807): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Yu Li / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18C10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q42 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18G10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18G20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6094113 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rewriting | |||
Property / zbMATH Keywords: rewriting / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
polygraphic resolution | |||
Property / zbMATH Keywords: polygraphic resolution / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
homology of small categories | |||
Property / zbMATH Keywords: homology of small categories / rank | |||
Normal rank |
Revision as of 12:49, 30 June 2023
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