Computing over K-modules

DOI10.1016/S1571-0661(04)00304-4MaRDI QIDQ2841256zbMATH OpenOpenAlexFDO

Authors Neil Ghani, Anne Heyworth

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)00304-4

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categories of machines, automata (18B20) Grammars and rewriting systems (68Q42)

Recommendations

• Using rewriting systems to compute left Kan extensions and induced actions of categories
• Computing left Kan extensions.
• scientific article; zbMATH DE number 784870
• scientific article; zbMATH DE number 19482
• Fast left Kan extensions using the chase

Cites work

• Adjoint Functors
• Computing left Kan extensions.
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 431765 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 4085643 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 53661 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1086712 (Why is no real title available?)
• scientific article; zbMATH DE number 1131487 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Kan extensions in enriched category theory
• On vector enumeration
• Rewriting as a special case of non-commutative Gröbner basis theory
• Rings with several objects
• The Todd-Coxeter procedure and left Kan extensions
• Using rewriting systems to compute left Kan extensions and induced actions of categories

Cited in

(3)

• Computing inclusions of Schur modules
• On computing signatures of \(k\)-out-of-\(n\) system consisting of modules
• scientific article; zbMATH DE number 1344961 (Why is no real title available?)

Describes a project that uses

Uses Software

• GAP

This page was built for publication: Computing over \(K\)-modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841256)