Colored Markov polycategories provide typed compositional semantics for stochastic systems and support diagrammatic differentiation of expected scalar objectives via local gradients at parameterized vertices.
Disintegration and Bayesian inversion via string diagrams
3 Pith papers cite this work, alongside 72 external citations. Polarity classification is still indexing.
3
Pith papers citing it
72
external citations · Crossref
citation-role summary
method 1
citation-polarity summary
years
2026 3verdicts
UNVERDICTED 3roles
method 1polarities
use method 1representative citing papers
ULLER's three independent semantics are unified as instances of monads, enabling modular addition of new semantics and translations between them.
Establishes a formal connection between Jacobs-Staton categorical De Finetti theorem and Melliès free exponential in linear logic, instantiated in probabilistic coherence spaces, then characterizes total elements of !Bool.
citing papers explorer
-
Colored Markov polycategories and diagrammatic differentiation
Colored Markov polycategories provide typed compositional semantics for stochastic systems and support diagrammatic differentiation of expected scalar objectives via local gradients at parameterized vertices.
-
NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
ULLER's three independent semantics are unified as instances of monads, enabling modular addition of new semantics and translations between them.
-
Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
Establishes a formal connection between Jacobs-Staton categorical De Finetti theorem and Melliès free exponential in linear logic, instantiated in probabilistic coherence spaces, then characterizes total elements of !Bool.