Six operations for "Equation missing" -modules on rigid analytic spaces

Abstract We introduce all six operations for "Equation missing" -modules on smooth rigid analytic spaces by considering the derived category of complete bornological "Equation missing" -modules. We then focus on a full subcategory which should be thought of as consisting of complexes with coadmissible cohomology, and establish analogues of some classical results: Kashiwara’s equivalence, stability of coadmissibility under extraordinary inverse image for smooth morphisms and direct image for projective morphisms, as well as the computation of relative de Rham cohomology.