0
votes
0answers
85 views

Quantum Bayesian update and Bayesian update of a model category

We know that we can have internal categories in a model category. We also know that there is a notion of Quantum Bayesian update in a monoidal category. Does the Quantum Bayesian update (equation ...
2
votes
0answers
313 views

Quantum sheaves

Are the following definitions known? Consider H a Hilbert space. A "quantum topology" on H is a set Sigma of closed subspaces satisfying the following conditions: (a) {0} and H lie in Sigma (b) If ...
5
votes
1answer
675 views

First Quantization is a mystery… but de-quantizing perhaps not

There is an well-known infamous DICTUM: -Second Quantization is a functor, First Quantization is a mystery-. Indeed, second quantization is the "Fock functor", which builds the Fock space in a ...
5
votes
1answer
398 views

What categorical mathematical structure(s) best describe the space of “localized events” in “relational quantum mechanics”?

In a recent (and to me, very beautiful) paper, entitled "Relational EPR", Smerlak and Rovelli present a way of thinking about EPR which relies upon Rovelli's ...
1
vote
0answers
599 views

Tensor products as isomorphic functors in category theory

An earlier question that I posed sought to define a category with a set of quantum channels as arrows and the C$^{*}$-algebra that these channels map from and to as the object. So, for example, my ...
5
votes
4answers
625 views

Quantum channels as categories: question 1.

A quantum channel is a mapping between Hilbert spaces, $\Phi : L(\mathcal{H}_{A}) \to L(\mathcal{H}_{B})$, where $L(\mathcal{H}_{i})$ is the family of operators on $\mathcal{H}_{i}$. In general, we ...