David I. Spivak

Fast Left Kan Extensions Using The Chase

2022 · arXiv (Cornell University)

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 compute weakly free models of regular theories …