Definition 8 [03R9] 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 8
A functor F : π β π F:{\cal C}\to{\cal D}
between non-unital
A β A_{\infty} -pre-categories is given by the following data:
1) A map of classes of objects Ο : π β π \phi:{\cal C}\to{\cal D} ,
such that Ο n β ( π n t β r ) β π n t β r \phi^{n}({\cal C}_{n}^{tr})\subset{\cal D}_{n}^{tr} .
2) For any transversal sequence of objects ( X 0 , β¦ , X n ) , n β₯ 1 (X_{0},...,X_{n}),\,n\geq 1 in
π {\cal C} ,
a morphism of graded k k -modules
f n : β 0 β€ i β€ n β 1 H o m π ( X i , X i + 1 ) β H o m π ( Ο ( X 0 ) , Ο ( X n ) ) [ 1 β n ] . f_{n}:\otimes_{0\leq i\leq n-1}Hom_{\cal C}(X_{i},X_{i+1})\to Hom_{\cal D}(\phi(X_{0}),\phi(X_{n}))[1-n].
These data satisfy the following property:
the sequence f n , n β₯ 1 f_{n},n\geq 1 defines an A β A_{\infty} -morphism
β i < j H o m π ( X i , X j ) β β i < j H o m π ( Ο ( X i ) , Ο ( X j ) ) \oplus_{i<j}Hom_{{\cal C}}(X_{i},X_{j})\to\oplus_{i<j}Hom_{{\cal D}}(\phi(X_{i}),\phi(X_{j})) .