[The University of Leicester]

Department of Mathematics & Computer Science



Next: Orderings on -sets Up: Further work, questions Previous: Iteration

Kan Extensions and Noncommutative Gröbner Bases

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




[University Home] [MCS Home] [University Index A-Z] [University Search] [University Help]

Author: A. Heyworth, tel: +44 (0)116 252 3884
Last updated: 2000-11-24
MCS Web Maintainer
This document has been approved by the Head of Department.
© University of Leicester.