ScalingStacks

Definition 10 [03RB]

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 10

An A∞A_{\infty}-pre-category is a non-unital A∞A_{\infty}-pre-category π’ž{\cal C}, satisfying the following extension property:

For any finite collection of transversal sequences S1,…,SmS_{1},...,S_{m} in π’ž{\cal C} and an object XX there exist objects X+X_{+} and Xβˆ’X_{-} and quasi-isomorphisms fβˆ’:Xβˆ’β†’Xf_{-}:X_{-}\to X, f+:Xβ†’X+f_{+}:X\to X_{+} such that extended sequences (Xβˆ’,S1,…,Sm,X+),1≀i≀m(X_{-},S_{1},...,S_{m},X_{+}),1\leq i\leq m are transversal.

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