Skip to main content Skip to section menu

Computational discrete algebra


00.01 : HEYWORTH, A.

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.


Site footer