Initial Subcategories via Free Presentations of the Constant Functor

Abstract

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 equivalence. Bass's characterization of perfect rings gives a sufficient condition for the existence of such presentations. In particular, every finite category with no nonidentity endomorphisms, such as a finite poset, contains a unique minimal initial full subcategory. In the poset case, our results recover the minimal initial subposet constructed in [BDL27] and [DL26]. When $\mathcal{C}$ is the free category on a finite quiver, we give an explicit construction of its minimal initial full subcategories, show that every such subcategory arises from this construction, and provide algorithms with time-complexity bounds.