Proof. It suffices to show that any spectrum object of is of the form for a uniquely determined object of . This follows from the fact that since is stable, is an equivalence with inverse . β
Original source: arXiv:1001.2282v4
Proof. It suffices to show that any spectrum object of is of the form for a uniquely determined object of . This follows from the fact that since is stable, is an equivalence with inverse . β
Original source: arXiv:1001.2282v4