En-ring

In mathematics, an formula_1-algebra in a symmetric monoidal infinity category "C" consists of the following data:
subject to the requirements that the multiplication maps are compatible with composition, and that formula_5 is an equivalence if formula_6. An equivalent definition is that "A" is an algebra in "C" over the little "n"-disks operad.