In mathematics, an -algebra in a symmetric monoidal infinity category C consists of the following data:

for any disjoint open disks contained in some open disk V

subject to the requirements that the multiplication maps are compatible with composition, and that is an equivalence if . An equivalent definition is that A is an algebra in C over the little n-disks operad.


See also