Using rewriting systems to compute left Kan extensions and induced actions of categories (Q1971490)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Using rewriting systems to compute left Kan extensions and induced actions of categories |
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
0.87109125
0 references
0.87109125
0 references
0.86764824
0 references
0.8666818
0 references
0.8582757
0 references
0.85540426
0 references
0.8507659
0 references
0.84933996
0 references
0.84926236
0 references
