From nonabelian basechange to basechange with coefficients

Abstract

The goal of this paper is to explain when basechange theorems for sheaves of spaces imply basechange for sheaves with coefficients in other presentable $\infty$-categories. We accomplish this by analyzing when the tensor product of presentable $\infty$-categories preserves left adjointable squares. As a sample result, we show that the Proper Basechange Theorem in topology holds with coefficients in any presentable $\infty$-category which is compactly generated or stable. We also prove results about the interaction between tensor products of presentable $\infty$-categories and various categorical constructions that are of independent interest.

Comments very welcome. v3: 29 pages (with many diagrams and references). Added subsection 2.5 on commuting tensors past limits. Improved some results to work with compactly assembled $\infty$-categories. Updated a reference and fixed some typos. v2: 27 pages. Fixed typos and added references. Added section 4 generalizing the material of section 7.4 of arXiv:1807.03281. v1: 23 pages

Cited by in corpus (1)

• Homotopy theory of Stokes data