Higher-dimensional normalisation strategies for acyclicity
From MaRDI portal
Publication:456807
DOI10.1016/j.aim.2012.05.010zbMath1266.18008arXiv1011.0558MaRDI 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
18G10: Resolutions; derived functors (category-theoretic aspects)
68Q42: Grammars and rewriting systems
18G20: Homological dimension (category-theoretic aspects)
18C10: Theories (e.g., algebraic theories), structure, and semantics
Related Items
Coherence in monoidal track categories, A cubical Squier’s theorem, Coherent presentations of Artin monoids, A coherence theorem for pseudonatural transformations, A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof, Syzygies among reduction operators, On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids, Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups, Convergent presentations and polygraphic resolutions of associative algebras, Topological rewriting systems applied to standard bases and syntactic algebras, Polygraphs of finite derivation type, From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work, Noncommutative Gröbner Bases: Applications and Generalizations, Cubical $(\omega,p)$-categories
Cites Work
- Unnamed Item
- 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
- Track extensions of categories and cohomology