ScalingStacks

Remark 10 [03RC]

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 10

Let π’ž{\cal C} be an A∞A_{\infty}-pre-category. Then partially defined on H⁑(π’ž)=(π’ž,H​o​mH⁑(π’ž)​(β‹…,β‹…)𝐢𝐿𝑂𝑆𝐸H({\cal C})=({\cal C},Hom_{H({\cal C})}(\cdot,\cdot)) composition m2m_{2} extends uniquely, so that it defines a structure of a category on H⁑(π’ž)H({\cal C}).

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