3 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.LO2021
Localisable Monads
Carmen Constantin, Nuiok Dicaire, Chris Heunen
Monads govern computational side-effects in programming semantics. They can be combined in a ''bottom-up'' way to handle several instances of such effects. Indexed monads and grade…
math.CT2020★ 2 cited
A Topos Theoretic Notion of Entropy
Carmen-Maria Constantin, Andreas Doering
In the topos approach to quantum theory, the spectral presheaf plays the role of the state space of a quantum system. We show how a notion of entropy can be defined within the topo…
quant-ph2012★ 3 cited
Contextual Entropy and Reconstruction of Quantum States
Carmen Maria Constantin, Andreas Doering
We introduce a new notion of entropy for quantum states, called contextual entropy, and show how it unifies Shannon and von Neumann entropy. The main result is that from the knowle…