A Parameterized Algorithm for Testing whether the Limit of a Diagram is Empty

Ernst Althaus, Benjamin Merlin Bumpus, James Fairbanks +2

A limit of a (small) diagram $d:J\to E$ in a complete category $E$ can be thought of as specifying a set of equations involving the objects of $E$. To motivate this intuitively,…