Higher-dimensional word problems with applications to equational logic (Q685405)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Higher-dimensional word problems with applications to equational logic |
scientific article |
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
