Wikipedia
En-ring
In mathematics, an E-algebra in a symmetric monoidal infinity category C consists of the following data:
- An object A(U) for any open subset U of R homeomorphic to an n-disk.
- A multiplication map:
μ : A(U) ⊗ ⋯ ⊗ A(U) → A(V)
subject to the requirements that the multiplication maps are compatible with composition, and that μ is an equivalence if m = 1. An equivalent definition is that A is an algebra in C over the little n-disks operad.