Suppose that we have $A\_{\infty}$ algebras $A,B$ (over a field of characteristic $0$), with $A\_{\infty}$ maps $f,g: A \rightarrow B$. In the paper <https://arxiv.org/abs/math/0401007> (top of page 4, item $(6)$) Markl defines a notion of $A\_{\infty}$ homotopy, which can analogously be used to define a homotopy between maps $f$ and $g$. At least over characteristic $0$, there is a competing definition of a homotopy, defined as an $A\_{\infty}$ morphism $H: A \rightarrow B \otimes \Omega^{\bullet}\_{[0,1]}$ such that $H|\_{t = 0} = f$ and $H|\_{t =1} = g$.


Supposedly, in this context, the two definitions are equivalent. How can do I go from Markl's definition to the other definition?


Thank you for your time!



Comparing notions of $A_{\infty}$ homotopy (in char 0): Markl's definition versus "Sullivan homotopy"
$\newcommand{\dd}{\mathrm d}$Markls notion is the same as an $A\_\infty$-morphism from $A$ to $B\otimes C^\bullet\_{[0,1]}$, where the second factor are the cellular cochains on the interval with (non-commutative!) dga structure defined via the Alexander-Whitney map. The two notions are then related by producing $A\_\infty$-morphisms between this dga and $\Omega^\bullet\_{[0,1]}$. At least the $A\_\infty$-morphism from forms to singular cochains can be written down explicitly via so-called iterated integrals, compare [this question](https://mathoverflow.net/questions/338493/are-these-two-natural-a-infty-structures-on-the-realization-of-a-cosimplicial) I asked a while ago. There are still a lot of combinatorics involved, eg in finding the inverse $A\_\infty$-morphism and taking tensor products of $A\_\infty$-algebras.


Two recent articles which discuss generalisations of this question are Mazuir's [Higher algebra of A∞ and ΩBAs-algebras in Morse theory II](https://arxiv.org/abs/2102.08996) and Robert-Nicoud and Vallette's [Higher Lie Theory](https://arxiv.org/abs/2010.10485).


