Higher-Dimensional Word Problems with Applications to Equational Logic

The concept of an n-dimensional word problem for all n∈N, with an emphasis on geometrical meaning, is introduced and theorem 2.3 is applied.