A pro-realization is a coherent inverse system of admissible finite-context carriers realizing every finite continuation context.
Meaning and scope
A coherent family of finite carriers need not be represented by one carrier in the prescribed analytic class.
Example
The spaces for finite , with coordinate restrictions, form a pro-realization. Their ambient inverse limit is , outside the finite-dimensional carrier class.
The paper page includes the reader corrections accompanying this edition.