INUS?
Mediates between parts of a system: the cospan P→Q←RP \to Q \leftarrow R gives rise to the span of types of behaviour A←B→CA \leftarrow B \to C.
Modalities indexed by span.
Last revised on June 29, 2022 at 12:49:57. See the history of this page for a list of all contributions to it.