{"id":"arxiv/2606.27805","url":"https://arxiv.org/abs/2606.27805","tags":["cs.LO","cs.PL","math.CT","quant-ph"],"score":0,"title":"The quantum instrument monad","domain":"cs.LO","source":"arxiv","authors":["Tobias Fritz"],"reviews":0,"subject":"cs.LO","summary":"Monads are a ubiquitous structure in functional programming used for modelling computational effects. For example, the state monad models the effect of a computation interacting with a memory system. Here we introduce the quantum instrument monad $\\mathcal{I}_\\mathcal{A}$, which models the effect of a computation interacting with a quantum system with algebra of observables $\\mathcal{A}$. It can be thought of as a noncommutative generalization of the state monad. We construct this quantum instrument monad in two versions: a finitary version on the category of sets and a measure-theoretic…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-26","reactions":{}}