Using rewriting systems to compute left Kan extensions and induced actions of categories (Q1971490)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using rewriting systems to compute left Kan extensions and induced actions of categories |
scientific article |
Statements
Using rewriting systems to compute left Kan extensions and induced actions of categories (English)
0 references
3 August 2000
0 references
string-rewriting
0 references
left Kan extensions
0 references
induced actions
0 references
Todd-Coxeter procedure
0 references
