## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

No credit card required

#### 3.3.3 The category-theoretic point of view

Let $Γ : = { s i = E ? t i | i = 1 , … , n }$ be an E-unification problem over $F$ , and $X : = V a r ( Γ )$ be the finite set of variables occurring in Γ. Since all our calculations are done modulo E, we may consider the terms s i and t i as elements of $T ( F , X ) / = E$ , the .E-free algebra with generators $X$ . For example, let $F$ consist of a binary ...

## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

No credit card required