Fast left Kan extensions using the chase

From MaRDI portal
Publication:2102935