Pages that link to "Item:Q1904139"
From MaRDI portal
The following pages link to The Todd-Coxeter procedure and left Kan extensions (Q1904139):
Displaying 8 items.
- Computing left Kan extensions. (Q1426132) (← links)
- A database of categories. (Q1426134) (← 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)
- An enumeration process for racks (Q4612575) (← links)
- (Q4843624) (← links)