conditional composition
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.