Computing over K-modules

DOI10.1016/S1571-0661(04)00304-4zbMath1268.68094OpenAlexW2044696531MaRDI QIDQ2841256

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) Grammars and rewriting systems (68Q42) Categories of machines, automata (18B20)

Uses Software

• GAP

Cites Work

• On vector enumeration
• Computing left Kan extensions.
• The Todd-Coxeter procedure and left Kan extensions
• Using rewriting systems to compute left Kan extensions and induced actions of categories
• Kan extensions in enriched category theory
• Rings with several objects
• Adjoint Functors
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item