ScalingStacks

Definition 5 [03R3]

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 5

A non-unital A∞A_{\infty}-category π’ž{\cal C} over kk is given by the following data:

1) A class of objects O​b​(π’ž)Ob({\cal C}).

2) For any two objects X1X_{1} and X2X_{2} a 𝐙{{\bf Z}}-graded kk-module of morphisms H​o​m​(X1,X2)Hom(X_{1},X_{2}).

3) For any sequence of objects X0,…,XnX_{0},...,X_{n}, nβ‰₯1n\geq 1, a morphism of kk-modules (called a composition map) mn:βŠ—0≀i≀nβˆ’1Hom(Xi,Xi+1)β†’Hom(X0,Xn)[2βˆ’n]m_{n}:\otimes_{0\leq i\leq n-1}Hom(X_{i},X_{i+1})\to Hom(X_{0},X_{n})[2-n].

It is required that for any sequence of objects X0,…,XNX_{0},...,X_{N}, Nβ‰₯0N\geq 0 the graded kk-module A=A(X0,…,XN):=βŠ•i,jHom(Xi,Xj)A=A(X_{0},...,X_{N}):=\oplus_{i,j}Hom(X_{i},X_{j}), equipped with the direct sum of the compositions mn,nβ‰₯1m_{n},n\geq 1, is a non-unital A∞A_{\infty}-algebra.

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