Computing over K-modules
From MaRDI portal
Publication:2841256
DOI10.1016/S1571-0661(04)00304-4zbMath1268.68094MaRDI QIDQ2841256
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
18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
68Q42: Grammars and rewriting systems
18B20: Categories of machines, automata
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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