IV.P151 — Micro/Macro decomposition

The fibered product structure induces a canonical micro/macro splitting: Microcosm (Book IV) fixes the base tau^1 and studies fiber T^2; Macrocosm (Book V) moves along the base and studies how T^2 evolves over it. This is forced by the asymmetry between base and fiber.