Mario Román

Home

❯

notes

❯

conditional composition

conditional composition

Jul 24, 20251 min read

conditional-composition-definition

Conditional composition arises from the notion of marginals in copy-discard categories.

conditional-composition

  • conditional composition in a Kleisli category

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.


Graph View

Backlinks

  • Range with total composition
  • conditional composition in a Kleisli category
  • conditional composition in distributive multicategories
  • Copy-discard category
  • marginal
  • notation for marginal composition

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID