The following pages link to Computing left Kan extensions. (Q1426132):
Displaying 9 items.
- The Todd-Coxeter procedure and left Kan extensions (Q1904139) (← links)
- Using rewriting systems to compute left Kan extensions and induced actions of categories (Q1971490) (← links)
- Fast left Kan extensions using the chase (Q2102935) (← links)
- Automatic semigroups and categories. (Q2368995) (← links)
- Computing over \(K\)-modules (Q2841256) (← links)
- Computing quotients of actions of a free category (Q3978969) (← links)
- Algebraic data integration (Q4577809) (← links)
- (Q4843624) (← links)
- GADTs, functoriality, parametricity: pick two (Q6661153) (← links)