Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Grobner Basis Techniques for Computing Actions of K-Categories   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.

32
The categories of this paper are: atom-ph
37
The categories of this paper are: supr-con
18
The categories of this paper are: econ
30
The categories of this paper are: q-alg
27
The categories of this paper are: comp-gas
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys
17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph