Machine-Native ReasoningReading edition

79. Gluing and workspaces of workspaces

Reading tools
Reading library

Saved reading

Read side by side

Loading chapter…
Resources & source
PDF and editable source · Chapter source · About this edition

The preceding parts treat one interaction diagram at a time. A large collaborative system is usually assembled from overlapping local laboratories, subteams, artifacts, models, or task-specific workspaces. This part asks when those local workspaces determine one coherent global workspace, how failed gluing is detected, and whether recursive assembly changes the resulting object. The exact theory is a descent theorem. The approximate theory is a second transfer-Laplacian construction on the cover itself.