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.
Machine-Native ReasoningReading edition
79. Gluing and workspaces of workspaces
Reading tools
Reading library
Text settings
Saved in this browser for reading chapters. Browser zoom also works.
Loading chapter…