A higher categorical approach to graded bivariant $K$-theories for Real $C^{\ast }$-algebras

We present an $\mathrm{\infty }$-categorical refinement of classical $KK$-theory and $E$-theory for graded, $G$-equivariant for a locally compact second countable group $G$, Real $C^{\ast }$-algebras. As a consequence, we obtain a couple of fiber sequences connecting the different $K$-theory spectra, and explicitly analyse the induced endomorphisms on $K_0$-groups. We also answer precisely some folklore questions in the area. Among other things, we show that graded $KK$- and $E$-categories are not a Dwyer-Kan localization of graded $C^{\ast }$-algebras.