Manuscript VI@1 · VI.tex · section · b5b60afb
What linearization at the chosen background gives
The linearized interface and a sourced nonempty domain › What linearization at the chosen background gives · lines 662–671
We do not claim that (eq:linear-quotient) is a complete classification of all continuous observables, that its induced pairing has a specified radical, or that it already carries the nonlinear relational observable.
Figure fig:VI-linear-quotient summarizes the algebraic linear-observable quotient and its limited claim.