Enriched coverages and sheaves under change of base (2405.19529v4)

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.