# David Corfield intermodality

INUS?

Mediates between parts of a system: the cospan $P \to Q \leftarrow R$ gives rise to the span of types of behaviour $A \leftarrow B \to C$.

Modalities indexed by span.

Last revised on June 29, 2022 at 08:49:57. See the history of this page for a list of all contributions to it.