Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2405.19529 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915230415585280 |
|---|---|
| author | Rosenfield, Ariel E. |
| author_facet | Rosenfield, Ariel E. |
| contents | We investigate how change of enriching base category via a faithful, conservative right adjoint functor interacts with enriched coverages and sheaves on a given enriched category. We prove that change of base via such a functor gives rise both to an injective mapping on subobjects in enriched presheaf categories, and to an injective mapping on enriched coverages. In case the base change functor is also full, the enriched associated sheaf construction on a presheaf category commutes with base change. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_19529 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Enriched coverages and sheaves under change of base Rosenfield, Ariel E. Category Theory Rings and Algebras We investigate how change of enriching base category via a faithful, conservative right adjoint functor interacts with enriched coverages and sheaves on a given enriched category. We prove that change of base via such a functor gives rise both to an injective mapping on subobjects in enriched presheaf categories, and to an injective mapping on enriched coverages. In case the base change functor is also full, the enriched associated sheaf construction on a presheaf category commutes with base change. |
| title | Enriched coverages and sheaves under change of base |
| topic | Category Theory Rings and Algebras |
| url | https://arxiv.org/abs/2405.19529 |