{"id":"arxiv/2605.24240","url":"https://arxiv.org/abs/2605.24240","tags":["math.CT","cs.CC","cs.LO"],"score":0,"title":"A Parameterized Algorithm for Testing whether the Limit of a Diagram is Empty","domain":"math.CT","source":"arxiv","authors":["Ernst Althaus","Benjamin Merlin Bumpus","James Fairbanks","Emilio Minichiello","Daniel Rosiak"],"reviews":0,"subject":"math.CT","summary":"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, one can think of each object $d(j)$ as a \"variable\" and each morphism in $J$ as a \"constraint\" connecting these variables. If $E$ has an initial object, a natural question arises: does our set of equations have any solution at all? Equivalently, we can ask: is the limit of $d$ initial? In this paper we consider the computational problem that, given finite diagram $d$ in a finitely complete category $E$, asks…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-22","reactions":{}}