$E$-theory of $X$-$C^{\ast }$-algebras and functor formalisms

We show that $E$-theory for locally compact Hausdorff spaces constitutes a six-functor formalism which is equivalent to the six-functor formalism of $\mathrm{E}$-valued sheaves. We furthermore show that the $E$-theory category for locales that can be written as unions of finite open sublocales is equivalent to the category of $\mathrm{E}$-valued cosheaves.