Relational directed homotopy is the geometric structure that arises from the directionality of Flow. Because Flow is directed — it moves things forward through contexts over time, not symmetrically — the Geometry produced by the commutation of Flow and Nucleus is inherently directed. Paths have an orientation. Higher cells (homotopies between paths, homotopies between homotopies) inherit that orientation.
In standard mathematics, directed homotopy theory (Grandis) generalizes classical homotopy theory by equipping spaces with a distinguished class of directed paths (d-paths) that cannot be reversed. A directed space (d-space) has a topology together with a selection of continuous paths closed under concatenation and reparametrization. Directed homotopy has applications in concurrency theory, where irreversible transitions (state changes in distributed systems) demand a geometry that respects the arrow of time.
The derivation produces directed geometric structure through the following chain:
- Flow is self-consistent under iteration: flowing the flow of something does not produce something beyond what flowing it once produces. This idempotence under iteration gives Flow the character of a directed operator — it moves forward and settles.
- Nucleus consolidates: the smallest closed structure containing something. Nucleus is not directed in the same sense — it contracts rather than transports.
- Their commutation produces Geometry. Within Geometry, Disciplines are patterns compatible with both operators. A Discipline that commutes with all Flows and all Nuclei is a Filter.
- The interaction of Flow and Nucleus through Residuation gives Geometry its directed character: the adjunction between a forward operator (Flow) and a consolidating operator (Nucleus) is inherently asymmetric.
- Profiles, carved by Filters, inherit this directed geometry. Within a Profile, Evolution (Flow applied to a State) is directed, while Measurement (Nucleus applied to a State) consolidates.
The directionality of the relational Geometry connects to the broader mathematical landscape through directed algebraic topology, d-spaces, and the theory of directed higher categories. It also connects to the modal operators: the asymmetry between the necessity-like composite (Nucleus∘Flow) and the possibility-like composite (Flow∘Nucleus) reflects the directedness of Flow.