{"id":"arxiv/2601.04456","url":"https://arxiv.org/abs/2601.04456","tags":["cs.AI","math.CT"],"score":0,"title":"Categorical Belief Propagation: Sheaf-Theoretic Inference via Descent and Holonomy","domain":"cs.AI","source":"arxiv","authors":["Enrique ter Horst","Sridhar Mahadevan","Juan Diego Zambrano"],"reviews":0,"subject":"cs.AI","summary":"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 property, yielding compositional semantics via a unique functor to the matrix category \\(\\cat{Mat}_R\\). Message-passing is formulated using a Grothendieck fibration \\(\\int\\Msg \\to \\cat{FG}_Σ\\) over polarized factor graphs, with schedule-indexed endomorphisms defining BP updates. We characterize exact inference as effective descent: local beliefs form a descent datum when compatibility conditions hold on overlaps. This…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-01-08","reactions":{}}