ScalingStacks

Remark 9 [03R6]

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

Remark 9

Let π’ž{\cal C} be a non-unital A∞A_{\infty}-category. Let us replace spaces of morphisms by their cohomology with respect to m1m_{1}. In other words, we define H​o​mH⁑(π’ž)​(X,Y):={K​e​r​m1}/{I​m​m1}Hom_{H({\cal C})}(X,Y):=\{Ker\,m_{1}\}/\{Im\,m_{1}\}, where m1:H​o​mπ’žβ€‹(X,Y)β†’H​o​mπ’žβ€‹(X,Y)​[1]m_{1}:Hom_{\cal C}(X,Y)\to Hom_{\cal C}(X,Y)[1] is the composition map. Then H⁑(π’ž)=(π’ž,H​o​mH⁑(π’ž)​(β‹…,β‹…))H({\cal C})=({\cal C},Hom_{H({\cal C})}(\cdot,\cdot)) gives rise to a β€œnon-unital” category structure with the class of objects π’ž{\cal C} and composition of morphisms induced by m2m_{2}. We write β€œnon-unital” because there are no identity morphisms i​dX∈H​o​mH⁑(π’ž)​(X,X)id_{X}\in Hom_{H({\cal C})}(X,X).

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