Enriched coverages and sheaves under change of base

2024/05/29 by Rosenfield, Ariel E.
#Category Theory (math.CT) #FOS: Mathematics #Rings and Algebras (math.RA)

paper · doi:10.48550/arxiv.2405.19529

Abstract

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.

Related

• Sheaves on a bicategory
• From nonabelian basechange to basechange with coefficients
• Coverages and Grothendieck Toposes
• Six operations on dg enhancements of derived categories of sheaves
• Enhanced six operations and base change theorem for higher Artin stacks