ScalingStacks

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.

Complete original source context Β· Original author HTML

Definition 6

A functor F:π’ž1β†’π’ž2F:{\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 X0,…,XnX_{0},...,X_{n}, nβ‰₯0n\geq 0, a morphism of graded kk-modules fn:βŠ—0≀i≀nβˆ’1Homπ’ž1(Xi,Xi+1)β†’Homπ’ž2(Ο•(X0),Ο•(Xn))[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 X1,…,XNβˆˆπ’ž1X_{1},...,X_{N}\in{\cal C}_{1}: the sequence fn,nβ‰₯1f_{n},n\geq 1 defines an A∞A_{\infty}-morphism

βŠ•i,jHomπ’ž1(Xi,Xj)β†’βŠ•i,jHomπ’ž2(Ο•(Xi),Ο•(Xj)).\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})).

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