A Categorical Architecture of Epistemic Registers: A Formal Account of Proxy, Inference, and Decision | Synapse