Skip to main content Skip to section menu

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.

Accepted for:

Proceedings of Category Theory 2000 16-22 July, Como, Italy, 105-113.

Site footer