ScalingStacks

Definition 9 [03RA]

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 9

Let π’ž{\cal C} be a non-unital A∞A_{\infty}-pre-category, (X1,X2)βˆˆπ’ž2t​r(X_{1},X_{2})\in{\cal C}_{2}^{tr}. We say that f∈H​o​m0​(X1,X2)f\in Hom^{0}(X_{1},X_{2}) (zero stands for degree) is a quasi-isomorphism if m1​(f)=0m_{1}(f)=0, and for any objects X0X_{0} and X3X_{3} such that (X0,X1,X2)βˆˆπ’ž3t​r(X_{0},X_{1},X_{2})\in{\cal C}_{3}^{tr} and (X1,X2,X3)βˆˆπ’ž3t​r(X_{1},X_{2},X_{3})\in{\cal C}_{3}^{tr} one has: m2​(f,β‹…):H​o​m​(X0,X1)β†’H​o​m​(X0,X2)m_{2}(f,\cdot):Hom(X_{0},X_{1})\to Hom(X_{0},X_{2}) and m2​(β‹…,f):H​o​m​(X2,X3)β†’H​o​m​(X1,X3)m_{2}(\cdot,f):Hom(X_{2},X_{3})\to Hom(X_{1},X_{3}) are quasi-isomorphisms of complexes.

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