Quasicoherent sheaves for dagger analytic geometry

We develop a theory of quasicoherent sheaves on dagger analytic varieties based on Ind-Banach spaces. We show that they satisfy descent in the analytic topology. We define compactly supported pushforwards and produce an adjunction $f_{!}⊣f^{!}$, and produce an excision sequence for certain inclusions of admissible open subsets. Finally, we prove a Grothendieck duality theorem.