Super $K$-theory and group completion
We develop a spectrum-level graded $K$-theory for real super Banach algebras. Our construction is categorical and homotopy theoretic, in the style of algebraic $K$-theory: the graded $K$-theory spectrum is obtained by a (co)fiber sequence from the $(\infty,1)$-categorical group completion of topological groupoids of fi...