David Corfield intermodality


Mediates between parts of a system: the cospan PQRP \to Q \leftarrow R gives rise to the span of types of behaviour ABCA \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.