Grobner Basis Techniques for Computing Actions of K-Categories

Details Grobner Basis Techniques for Computing Actions of K-Categories Grobner Basis Techniques for Computing Actions of K-Categories

2000-03-14

arxiv.org/abs/math/0003080v1

Mathematics

Combinatorics

10 pages LaTeX, (submitted CT2000)

Scientific paper

This paper involves categories and computer science. The paper is motivated by a question which arises from two pieces of research. Firstly, the work of Brown and Heyworth which extends rewriting techniques to enable the computation of left Kan extensions over the category of sets. It is well known that left Kan extensions can be defined over categories other than Sets. Secondly, the `folklore' that rewriting theory is a special case of noncommutative Groebner basis theory. It is therefore natural to ask whether Groebner bases can provide a method for computing Kan extensions beyond the special case of rewriting. To answer this question completely, fully exploiting the computational power of Groebner basis techniques relating to Kan extensions is the ultimate aim. This paper provides a first step by showing how standard noncommutative Groebner basis procedures can be used to calculate left Kan extensions of K-category actions. In the final section of the paper a number of interesting problems arising from the work are identified.

Affiliated with

Also associated with

No associations

Rating

Grobner Basis Techniques for Computing Actions of K-Categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Grobner Basis Techniques for Computing Actions of K-Categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Grobner Basis Techniques for Computing Actions of K-Categories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-460059