Higher-dimensional normalisation strategies for acyclicity
From MaRDI portal
Publication:456807
DOI10.1016/j.aim.2012.05.010zbMath1266.18008arXiv1011.0558OpenAlexW2092347581MaRDI QIDQ456807
Publication date: 16 October 2012
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1011.0558
Resolutions; derived functors (category-theoretic aspects) (18G10) Grammars and rewriting systems (68Q42) Homological dimension (category-theoretic aspects) (18G20) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items
Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories, Coherent confluence modulo relations and double groupoids, Algebraic coherent confluence and higher globular Kleene algebras, Shuffle polygraphic resolutions for operads, Topological finiteness properties of monoids. I: Foundations, Coherence for plactic monoids via rewriting theory and crystal structures, A categorical characterization of strong Steiner \(\omega\)-categories, Abstract strategies and coherence, A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof, Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups, From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work, Noncommutative Gröbner Bases: Applications and Generalizations, Cubical $(\omega,p)$-categories, A coherence theorem for pseudonatural transformations, Coherence in monoidal track categories, On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids, Convergent presentations and polygraphic resolutions of associative algebras, Syzygies among reduction operators, Topological rewriting systems applied to standard bases and syntactic algebras, A cubical Squier’s theorem, Chinese syzygies by insertions, Polygraphs of finite derivation type, Coherent presentations of Artin monoids, Confluence of algebraic rewriting systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The Brown-Golasiński model structure on strict \(\infty \)-groupoids revisited
- An interpretation of \(E _{n }\)-homology as functor homology
- For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_ 3\)
- Higher-dimensional word problems with applications to equational logic
- Complete rewriting systems and homology of monoid algebras
- A folk model structure on omega-cat
- Cohomology of small categories
- A finite Thue system with decidable word problem and without equivalent finite canonical system
- Word problems and a homological finiteness condition for monoids
- The algebra of oriented simplexes
- Combinatorial homotopy and 4-dimensional complexes
- Limits indexed by category-valued 2-functors
- A finiteness condition for rewriting systems
- Finite derivation type implies the homological finiteness condition \(FP_ 3\)
- For finitely presented monoids the homological finiteness conditions FHT and \(\text{bi-FP}_3\) coincide
- About the rewriting systems produced by the Knuth-Bendix completion algorithm
- A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
- Termination orders for three-dimensional rewriting
- Rings with several objects
- Über Identitäten von Relationen
- Free differential calculus. I: Derivation in the free group ring
- On theories with a combinatorial definition of 'equivalence'
- Identities among relations for higher-dimensional rewriting systems
- A Monoid which is Right FP ∞ but not Left FP 1
- Higher-dimensional categories with finite derivation type
- On the Homology of Associative Algebras
- FINITENESS CONDITIONS FOR REWRITING SYSTEMS
- Term Rewriting and All That
- ON HOMOTOPICAL AND HOMOLOGICAL FINITENESS CONDITIONS FOR FINITELY PRESENTED MONOIDS
- LOW-DIMENSIONAL HOMOTOPY THEORY FOR MONOIDS
- Computing Critical Pairs in 2-Dimensional Rewriting Systems
- Track extensions of categories and cohomology
