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