Definition 6 [03R5] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context Β· Original author HTML
Definition 6
A functor F : π 1 β π 2 F:{\cal C}_{1}\to{\cal C}_{2} between non-unital
A β A_{\infty} -categories is given by the following data:
1) A map of classes of objects Ο : π 1 β π 2 \phi:{\cal C}_{1}\to{\cal C}_{2} .
2) For any finite sequence of objects X 0 , β¦ , X n X_{0},...,X_{n} , n β₯ 0 n\geq 0 ,
a morphism of graded k k -modules
f n : β 0 β€ i β€ n β 1 H o m π 1 ( X i , X i + 1 ) β H o m π 2 ( Ο ( X 0 ) , Ο ( X n ) ) [ 1 β n ] . f_{n}:\otimes_{0\leq i\leq n-1}Hom_{{\cal C}_{1}}(X_{i},X_{i+1})\to Hom_{{\cal C}_{2}}(\phi(X_{0}),\phi(X_{n}))[1-n].
The following condition holds for any X 1 , β¦ , X N β π 1 X_{1},...,X_{N}\in{\cal C}_{1} :
the sequence f n , n β₯ 1 f_{n},n\geq 1 defines an A β A_{\infty} -morphism
β i , j H o m π 1 ( X i , X j ) β β i , j H o m π 2 ( Ο ( X i ) , Ο ( X j ) ) . \oplus_{i,j}Hom_{{\cal C}_{1}}(X_{i},X_{j})\to\oplus_{i,j}Hom_{{\cal C}_{2}}(\phi(X_{i}),\phi(X_{j})).