Categorical Belief Propagation: Sheaf-Theoretic Inference via Descent and Holonomy

Enrique ter Horst, Sridhar Mahadevan, Juan Diego Zambrano

We develop a categorical foundation for belief propagation on factor graphs. We construct the free hypergraph category \(\Syn_Σ\) on a typed signature and prove its universal prope…