Computational discrete algebra
00.01 : HEYWORTH, A.
Groebner basis techniques for computing actions of K-categories
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.
Proceedings of Category Theory 2000 16-22 July, Como, Italy, 105-113.