Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This work operationalizes Nakayama’s reduction of Döring-Isham topos quantum theory to construct a rigorous framework for Bayesian quantum computing. Unifying context limitation and probability measures into a single choice of Grothendieck topology resolves long-standing categorical barriers to dynamic state updating upon observing data. The authors show that Bayesian probability revision corresponds mathematically to a local shift in the applicability of a predictive theory across context categories.
Bayesian updating in quantum systems is not merely an operational heuristic, but emerges naturally as a local topological shift over commutative context categories in topos theory.
Nakayama found the way to limit the contexts in the Döring-Isham topos quantum theory and unified such limitation and the definition of probability as a single choice of topology. We explain how this unification supports the Bayesian perspective where the probability changes as data is obtained. We describe this change as a local shift of the applicability of a predictive theory and apply it to quantum computing.