nLab nonunital Ek-algebra

Redirected from "nonunital E-∞ algebras".
Contents

Contents

Idea

The nonunital variant of Ek-algebra, hence the generalization of the concept of nonunital ring from algebra to higher algebra.

Properties

Relation to augmented 𝔼 k\mathbb{E}_k-algebra

Nonunital 𝔼 k\mathbb{E}_k-algebras are equivalent to unital 𝔼 k\mathbb{E}_k-algebras sliced over the free 𝔼 k\mathbb{E}_k-algebra on a single generator.

In particular nonunital E-∞ algebras are equivalent to unital E E_\infty-algebras sliced over the sphere spectrum:

E Ring nuE Ring /𝕊, E_\infty Ring^{nu} \simeq E_\infty Ring_{/\mathbb{S}} \,,

where the map from right to left is given by 𝔼 k\mathbb{E}_k-unitalization and the converse by forming augmentation ideals.

(Lurie, prop. 5.4.4.10)

References

Last revised on November 17, 2022 at 12:32:33. See the history of this page for a list of all contributions to it.