{"id":"arxiv/2610.41068","url":"https://arxiv.org/abs/2610.41068","tags":["math.CT","math.RT"],"score":0,"title":"Initial Subcategories via Free Presentations of the Constant Functor","domain":"math.CT","source":"arxiv","authors":["Thomas Brüstle","Justin Desrochers","Samuel Leblanc"],"reviews":0,"subject":"math.CT","summary":"Let $\\mathcal{C}$ be a small category. We characterize the full initial subcategories of $\\mathcal{C}$ as precisely those whose representables give a free presentation of the constant functor $Δ_{\\mathcal{C}}\\mathbb{K}:\\mathcal{C}\\to\\mathrm{Vect}$. Such a presentation yields a formula for the limit of any functor $\\mathcal{C} \\to \\mathrm{Vect}$ as the kernel of a morphism between products of evaluations. When the linearized endomorphism ring of every object is local, we show that a minimal free presentation, whenever one exists, determines the unique minimal full initial subcategory, up to…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}