Conditional composition arises from the notion of marginals in copy-discard categories.
References.
- Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022) used the operation explicitly and proved that it is associative and unital, all in the Appendix (notation for marginal composition).
- Slides for “Partial Markov Categories” at the Topos Institute.
Back: conditional.