Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a

Algebraic and topological audit

Proof and verification audit › Algebraic and topological audit · lines 2005–2036

The new-domain proof is a direct-sum proof. The old-overlap proof applies to the entire new sum. Thus no untested intersection with an already glued sum remains.

All tensor products and separating projections used in these arguments are algebraic. None identifies a presentation map with a quotient map or a topological isomorphism.

The following implications are not asserted:

algebraic injectivity ⟹ continuous inverse,

F9a ⟹ F9b or quantum hypocontinuity,

one-word coherence ⟹ associativity on an unspecified domain,

sector construction ⟹ IX-D or G2 opening .

Displayed formulas in this passage

unlabeled · line 2016
$algebraic injectivity ⟹ continuous inverse,$
unlabeled · line 2021
$F9a ⟹ F9b or quantum hypocontinuity,$
unlabeled · line 2026
$one-word coherence ⟹ associativity on an unspecified domain,$
unlabeled · line 2031
$sector construction ⟹ IX-D or G2 opening .$