Groebner basis techniques for computing actions of K-categories
Abstract:
Groebner basis theory is a branch of computer algebra which has been
usefully applied to a wide range of problems.
Kan extensions are a key concept of category theory
capa\ble of expressing most algebraic structures.
This paper combines the two, using Groebner basis techniques
to compute certain kinds of Kan extension.
Accepted for:
Proceedings of Category Theory 2000 16-22 July, Como, Italy, 105-113.
