It is well-known that rewrite systems are a special case of noncommutative
Gröbner bases. It is possible to express a -algebra presentation as an example
of a Kan extension over -categories but it is not clear how to apply
Gröbner basis procedures to general Kan extensions of actions of
-categories.