## Natural transformations of A∞A_\infty-functors (between dg-categories) are “directed homotopies” (reference?)

Let A and B be dg-categories over a field, viewed as A∞-categories. The A∞-category (actually, dg-category) of strictly unital A∞-functors A→B will be denoted by Fun∞(A,B). It is described explicitly (in the non-unital case) for example in P. Seidel’s book (“Fukaya category and Picard-Lefschetz theory”). Let Δ1 be the 1-simplex category, namely, the linear category … Read more