Graduated categories of presheaves
We study conditions on a small category $\mathcal{A}$ under which every finitely generated object of its presheaf category is finitely presentable. Example: this holds for a group $\mathcal{A}$ iff $\mathcal{A}$ is Noetherian. For ordinals $\mathcal{A}=α$ this holds iff $α\leq ω$, whereas this always holds for $\mathcal{A}=α^{op}$. Various important properties of set functors also apply to endofunctors on locally finitely presentable categories which are graduated. This means that every finitely presentable object $X$ carries a grade (in $\mathbb{N}$) and grades respect subobjects and strong…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.30444
curl -X POST /api/v1/records/arxiv/2609.30444/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.30444/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'