Algebraic infinite delooping and derived destabilization - Geoffrey Powell (2017)