Mario Román

Home

❯

notes

❯

Subdistribution monad

Subdistribution monad

Aug 23, 20251 min read

subdistribution-monad

  • partial Markov - Bayes update on subdistributions
  • trace in subdistributions

References:

  • Kleisli Semantics for Conditioning in Probabilistic Programming (Cho, Jacobs, 2022)

Graph View

Backlinks

  • Non cartesianity in subdistributions
  • Substoch is not compact closed
  • Talk on subdistributions
  • Bayes update on subdistributions
  • probability versus possibility
  • trace in subdistributions
  • Monoidal Context Theory, PhD Thesis (Román, 2023)

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

  • GitHub
  • ArXiv
  • OrcID