Graduated categories of presheaves (Preprint)

  <Reference List>
Type: Preprint
National /International: International
Title: Graduated categories of presheaves
Publication Date: 2026-09-24
Authors: - Jirí Adámek
- Lurdes Sousa
Abstract:

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 =\alpha \) this holds iff \( \alpha\le \omega \), whereas this always holds for \( \mathcal A = \alpha^{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 quotients of \( X \). We characterize presheaf categories \( \mathbf{Set}^{\alpha^{op}} \) which are graduated for three types of small categories \( \mathcal A \). If \( \mathcal A \) is a poset, all down sets of elements must be finite. For a group \( \mathcal A \), a finite bound on the length of a chain of subgroups must exist. In the case of cartesian categories \( \mathcal A \), every object must carry a finite number of sieves. Example: all finitary set functors form a graduated category, here \( \mathcal 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 DCC iff \( G \) has no infinite chain of subgroups. Example: presheaves on the group \( \mathbb Z \) are not DCC, but finite generation implies finite presentation.

Institution: DMUC 26-47
Online version: http://www.mat.uc.pt...prints/eng_2026.html
Download: Not available
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Financiado total ou parcialmente pela FCT, Fundação para a Ciência e a Tecnologia, I.P., sob o Financiamento de:
UID/00324/2025 Projeto Estratégico com a referência DOI https://doi.org/10.54499/UID/00324/2025.
https://doi.org/10.54499/UID/PRR/00324/2025     UID/PRR/00324/2025   https://doi.org/10.54499/UID/PRR2/00324/2025   UID/PRR2/00324/2025
Powered by: rdOnWeb v1.4 | technical support