# Tagged Questions

**0**

votes

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**4**answers

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 ...