Higher-dimensional word problems with applications to equational logic (Q685405)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Higher-dimensional word problems with applications to equational logic |
scientific article; zbMATH DE number 417345
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Higher-dimensional word problems with applications to equational logic |
scientific article; zbMATH DE number 417345 |
Statements
Higher-dimensional word problems with applications to equational logic (English)
0 references
20 December 1993
0 references
In an attempt to unify generalizations of the word problem from monoids to categories and to universal algebras, the author conceives word problems of variable dimension, which amounts to computations in \(\infty\)-categories equivalent to constructions of homotopies between expressions. In this setting, equational logic appears as a two- dimensional word problem.
0 references
word problems of variable dimension
0 references
computations in \(\infty\)-categories
0 references
equational logic
0 references
