The following pages link to (Q4843624):
Displaying 6 items.
- Computing left Kan extensions. (Q1426132) (← links)
- The Todd-Coxeter procedure and left Kan extensions (Q1904139) (← 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)