Manuscript XIX-C@1 · XIX-C.tex · definition · 98b067d9
Definition: A minimal operational evolution limit
Why finite certification does not select a continuum evolution › A named target, not an unnamed limit · lines 985–1008
XIX-C@1#def:limit, XIX-C@1#eq:limit
For a declared finite observable or payload interface, an operational evolution limit consists of:
a sequence of finite realizations indexed by , with tick durations ;
channels , encoders , and decoders on common comparison interfaces;
a limiting family satisfying , a stated composition law, and a stated continuity condition;
a convergence theorem in a declared topology, for example
for each finite .
A spatial continuum theory additionally requires spatial realizations, local access maps, and their compatibility.
Displayed formulas in this passage
XIX-C@1#eq:limit · line 998