ScalingStacks

Theorem 4 [03T0]

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

Theorem 4

The full subcategory F​(π’žu​n​r​a​m​(Y))F({\cal C}_{unram}(Y)) of C⁑(Y)C(Y) is A∞A_{\infty}-equivalent to F​O​(X∨)FO(X^{\vee}).

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