Initial Subcategories via Free Presentations of the Constant Functor
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.41068
curl -X POST /api/v1/records/arxiv/2610.41068/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.41068/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'