Lurie "Higher Algebra" の§7を勉強しています。 $\mathbb E _1$-環とは、スペクトラの世界における、環（1をもち、結合的な）の概念の対応物でした。 すなわちスペクトラム$R$であって、演算$R {}_{\Lambda }R \to R$と単位元$\mathbb{S}\to R$がデータとし…