Higher-dimensional normalisation strategies for acyclicity (Q456807): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2092347581 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1011.0558 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Homology of Associative Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Brown-Golasiński model structure on strict \(\infty \)-groupoids revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Term Rewriting and All That / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorial homotopy and 4-dimensional complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Track extensions of categories and cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomology of small categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4846257 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4012139 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3945247 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher-dimensional word problems with applications to equational logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Monoid which is Right <i>FP</i> <sub>∞</sub> but not Left <i>FP</i> <sub>1</sub> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite derivation type implies the homological finiteness condition \(FP_ 3\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_ 3\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free differential calculus. I: Derivation in the free group ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3358944 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Termination orders for three-dimensional rewriting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher-dimensional categories with finite derivation type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Identities among relations for higher-dimensional rewriting systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A finite Thue system with decidable word problem and without equivalent finite canonical system / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complete rewriting systems and homology of monoid algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ON HOMOTOPICAL AND HOMOLOGICAL FINITENESS CONDITIONS FOR FINITELY PRESENTED MONOIDS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: For finitely presented monoids the homological finiteness conditions FHT and \(\text{bi-FP}_3\) coincide / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A folk model structure on omega-cat / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3156508 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An interpretation of \(E _{n }\)-homology as functor homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145882 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FINITENESS CONDITIONS FOR REWRITING SYSTEMS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4707051 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: About the rewriting systems produced by the Knuth-Bendix completion algorithm / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing Critical Pairs in 2-Dimensional Rewriting Systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rings with several objects / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On theories with a combinatorial definition of 'equivalence' / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: LOW-DIMENSIONAL HOMOTOPY THEORY FOR MONOIDS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Über Identitäten von Relationen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Word problems and a homological finiteness condition for monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A finiteness condition for rewriting systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Limits indexed by category-valued 2-functors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The algebra of oriented simplexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4799892 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:16, 5 July 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
0 references
0 references
0 references