{"id":"arxiv/2609.30444","url":"https://arxiv.org/abs/2609.30444","tags":["math.CT"],"score":0,"title":"Graduated categories of presheaves","domain":"math.CT","source":"arxiv","authors":["Jiri Adamek","Lurdes Sousa"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-24","reactions":{}}