Matches in SemOpenAlex for { <https://semopenalex.org/work/W1906010010> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1906010010 abstract "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." @default.
- W1906010010 created "2016-06-24" @default.
- W1906010010 creator A5054331607 @default.
- W1906010010 date "2000-03-14" @default.
- W1906010010 modified "2023-09-27" @default.
- W1906010010 title "Grobner Basis Techniques for Computing Actions of K-Categories" @default.
- W1906010010 cites W1583295953 @default.
- W1906010010 cites W1618367903 @default.
- W1906010010 cites W1642930253 @default.
- W1906010010 cites W2027622095 @default.
- W1906010010 cites W2039864462 @default.
- W1906010010 cites W2042767697 @default.
- W1906010010 cites W2093144183 @default.
- W1906010010 cites W2160934477 @default.
- W1906010010 hasPublicationYear "2000" @default.
- W1906010010 type Work @default.
- W1906010010 sameAs 1906010010 @default.
- W1906010010 citedByCount "1" @default.
- W1906010010 crossrefType "posted-content" @default.
- W1906010010 hasAuthorship W1906010010A5054331607 @default.
- W1906010010 hasConcept C110812573 @default.
- W1906010010 hasConcept C111919701 @default.
- W1906010010 hasConcept C11413529 @default.
- W1906010010 hasConcept C12426560 @default.
- W1906010010 hasConcept C134306372 @default.
- W1906010010 hasConcept C136119220 @default.
- W1906010010 hasConcept C154690210 @default.
- W1906010010 hasConcept C198082693 @default.
- W1906010010 hasConcept C199360897 @default.
- W1906010010 hasConcept C202444582 @default.
- W1906010010 hasConcept C2524010 @default.
- W1906010010 hasConcept C2780129039 @default.
- W1906010010 hasConcept C33923547 @default.
- W1906010010 hasConcept C41008148 @default.
- W1906010010 hasConcept C45374587 @default.
- W1906010010 hasConcept C68797384 @default.
- W1906010010 hasConceptScore W1906010010C110812573 @default.
- W1906010010 hasConceptScore W1906010010C111919701 @default.
- W1906010010 hasConceptScore W1906010010C11413529 @default.
- W1906010010 hasConceptScore W1906010010C12426560 @default.
- W1906010010 hasConceptScore W1906010010C134306372 @default.
- W1906010010 hasConceptScore W1906010010C136119220 @default.
- W1906010010 hasConceptScore W1906010010C154690210 @default.
- W1906010010 hasConceptScore W1906010010C198082693 @default.
- W1906010010 hasConceptScore W1906010010C199360897 @default.
- W1906010010 hasConceptScore W1906010010C202444582 @default.
- W1906010010 hasConceptScore W1906010010C2524010 @default.
- W1906010010 hasConceptScore W1906010010C2780129039 @default.
- W1906010010 hasConceptScore W1906010010C33923547 @default.
- W1906010010 hasConceptScore W1906010010C41008148 @default.
- W1906010010 hasConceptScore W1906010010C45374587 @default.
- W1906010010 hasConceptScore W1906010010C68797384 @default.
- W1906010010 hasLocation W19060100101 @default.
- W1906010010 hasOpenAccess W1906010010 @default.
- W1906010010 hasPrimaryLocation W19060100101 @default.
- W1906010010 hasRelatedWork W1016720571 @default.
- W1906010010 hasRelatedWork W1534696846 @default.
- W1906010010 hasRelatedWork W1971479478 @default.
- W1906010010 hasRelatedWork W2015710202 @default.
- W1906010010 hasRelatedWork W2072833984 @default.
- W1906010010 hasRelatedWork W2104693850 @default.
- W1906010010 hasRelatedWork W2178411252 @default.
- W1906010010 hasRelatedWork W2342275030 @default.
- W1906010010 hasRelatedWork W2485296172 @default.
- W1906010010 hasRelatedWork W2586256357 @default.
- W1906010010 hasRelatedWork W269245821 @default.
- W1906010010 hasRelatedWork W2894259695 @default.
- W1906010010 hasRelatedWork W2949480456 @default.
- W1906010010 hasRelatedWork W2951494584 @default.
- W1906010010 hasRelatedWork W2953857700 @default.
- W1906010010 hasRelatedWork W3100710217 @default.
- W1906010010 hasRelatedWork W3162124064 @default.
- W1906010010 hasRelatedWork W3212772318 @default.
- W1906010010 hasRelatedWork W61796042 @default.
- W1906010010 hasRelatedWork W77534004 @default.
- W1906010010 isParatext "false" @default.
- W1906010010 isRetracted "false" @default.
- W1906010010 magId "1906010010" @default.
- W1906010010 workType "article" @default.