Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2409.12835 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929506464301056 |
|---|---|
| author | Wärn, David |
| author_facet | Wärn, David |
| contents | A sheaf of modules on a site is said to be internally projective if sheaf hom with the module preserves epimorphism. In this note, we give an example showing that internally projective sheaves of abelian groups are not in general stable under base change to a slice. This shows that internal projectivity is weaker than projectivity in the internal logic of the topos, as expressed for example in terms of Shulman's stack semantics. The sheaf of groups that we use as a counterexample comes from recent work by Clausen and Scholze on light condensed sets. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_12835 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On internally projective sheaves of groups Wärn, David Category Theory 18B25 A sheaf of modules on a site is said to be internally projective if sheaf hom with the module preserves epimorphism. In this note, we give an example showing that internally projective sheaves of abelian groups are not in general stable under base change to a slice. This shows that internal projectivity is weaker than projectivity in the internal logic of the topos, as expressed for example in terms of Shulman's stack semantics. The sheaf of groups that we use as a counterexample comes from recent work by Clausen and Scholze on light condensed sets. |
| title | On internally projective sheaves of groups |
| topic | Category Theory 18B25 |
| url | https://arxiv.org/abs/2409.12835 |