ScalingStacks

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.

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​(π’žnt​r)βŠ‚π’Ÿnt​r\phi^{n}({\cal C}_{n}^{tr})\subset{\cal D}_{n}^{tr}.

2) For any transversal sequence of objects (X0,…,Xn),nβ‰₯1(X_{0},...,X_{n}),\,n\geq 1 in π’ž{\cal C}, a morphism of graded kk-modules

fn:βŠ—0≀i≀nβˆ’1Homπ’ž(Xi,Xi+1)β†’Homπ’Ÿ(Ο•(X0),Ο•(Xn))[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 fn,nβ‰₯1f_{n},n\geq 1 defines an A∞A_{\infty}-morphism βŠ•i<jHomπ’ž(Xi,Xj)β†’βŠ•i<jHomπ’Ÿ(Ο•(Xi),Ο•(Xj))\oplus_{i<j}Hom_{{\cal C}}(X_{i},X_{j})\to\oplus_{i<j}Hom_{{\cal D}}(\phi(X_{i}),\phi(X_{j})).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.