172 citations · 796 across the 66 of their papers we have counts for
1 paper · 2 filters
Joshua Meyers, David I. Spivak, Ryan Wisnesky
We show how computation of left Kan extensions can be reduced to computation of free models of cartesian (finite-limit) theories. We discuss how the standard and parallel chase com…