スペクトルのホモトピーの圏と環の導来圏は、双方ともの例である。