ScalingStacks

Definition 13 [03RF]

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 13

Two AA-pre-categories π’ž{\cal C} and π’Ÿ{\cal D} are called equivalent if there exists a finite sequence of A∞A_{\infty}-pre-categories (π’ž0,…,π’žn),π’ž0=π’ž,π’ž0=π’Ÿ({\cal C}_{0},\dots,{\cal C}_{n}),\,{\cal C}_{0}={\cal C},\,{\cal C}_{0}={\cal D} such that for every i, 0≀i≀kβˆ’1i,\,0\leq i\leq k-1 there exists an A∞A_{\infty}-equivalence functor from π’ži{\cal C}_{i} to π’ži+1{\cal C}_{i+1} or vice versa.

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