Definition 3 [03R1]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 3

A structure of non-unital $A_{\infty}$ -algebra on $A$ is given by a codifferential $d$ of degree $+1$ on the cofree tensor coalgebra $T_{+}(A[1])=\oplus_{n\geq 1}(A[1])^{\otimes n}$ .