A global object is not added to local data by terminology. It is a family satisfying every prescribed transition equation. The first task is to construct the space of such families and to keep its possible emptiness visible.
Machine-Native ReasoningReading edition
19. Realizations and their obstructions
Reading tools
Reading library
Text settings
Saved in this browser for reading chapters. Browser zoom also works.
Loading chapter…