Tag Archives: universal

Mgu’s and universal properties

Warning, poorly-explained categorical rambling follows… The most general unifier (mgu) of two expressions and is a substitution for which , such that every other substitution for which can be expressed as for some . For example, the most general unifier … Continue reading

Posted in math | Tagged , , , | 9 Comments