Graduated categories of presheaves

Jiri Adamek; Lurdes Sousa

In the authors' words

We study conditions on a small category $A$ under which every finitely generated object of its presheaf category is finitely presentable. Example: this holds for a group $A$ iff $A$ is Noetherian. For ordinals $A = α$ this holds iff $α \leq ω$ , whereas this always holds for $A = α^{o p}$ . 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 $N$ ) and grades respect subobjects and strong quotients of $X$ . We characterize presheaf categories $S e t^{A^{o p}}$ which are graduated for three types of small categories $A$ . If $A$ is a poset, all down sets of elements must be finite. For a group $A$ , a finite bound on the length of a chain of subgroups must exist. In the case of cartesian categories $A$ , every object must carry a finite number of sieves. Example: all finitary set functors form a graduated category, here $A$ is the dual of finite sets. A closely related concept is a locally finitely presentable category with the descending chain condition (a DCC category): every finitely presentable object has only finite descending chains of subobjects or strong quotients. The presheaf category on a group $G$ is $D C C$ iff $G$ has no infinite chain of subgroups. Example: presheaves on the group $Z$ are not $D C C$ , but finite generation implies finite presentation.

Main resultLimitation the authors admit

Graduated categories of presheaves

In the authors' words

More on Algebra & number theory that day

Asymptotic completions of preordered semirings

The Robust Thompson's Conjecture for Alternating Groups

A Proof of the Second brick-Brauer-Thrall Conjecture for E-infinite algebras

Symmetry and solvability: Galois groups of equivariant enumerative problems

Irreducible rootless unimodular lattices generated by vectors of norm 3

A Proof of the Second brick-Brauer-Thrall Conjecture for $E$ -infinite algebras

Irreducible rootless unimodular lattices generated by vectors of norm $3$