http://www.math.tamu.edu/~sarah.witherspoon/pub/HH-18August2017.pdf
A_\infty-algとはgraded vector sp A = \oplus_i A_iとm_n:A^{\otimes n} \to Aであって、
deg(m_n) = 2-nであり、
\sum_{r+s+t=n}(-1)^{r+st}m_{r+1+t}(1^{\otimes r} \otimes m_s \otimes 1^{\otimes t})=0
となるようなもの。
この関係式をStasheff identityという。
n=1の場合、m_1^2=0ということで、これは複体の微分。
n=2の時、m_1m_2-m_2(m_1\otimes 1)-m_2(1\otimes m_1)=0であるということで、これはライプニッツ則を表す。
