Fast Left Kan Extensions Using The Chase

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…