Person. Mateo Torres-Ruiz

Papers

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures torresruiz-2026-a

We extend the synthetic theories of discrete and Gaussian categorical probability by introducing a diagrammatic calculus for reasoning about hybrid probabilistic models in which continuous random variables, conditioned on discrete ones, follow a multivariate Gaussian distribution. This setting includes important families of distributions such as Gaussian mixtures, where each Gaussian component is selected according to a discrete variable. We develop a string diagrammatic syntax for distributions of this type, give it a compositional semantics, and equip it with a sound and complete equational theory that characterises when two mixtures represent the same distribution.
DOI · arXiv
mateotorresruiz person entries/rolodex/mateotorresruiz.hel