All Questions
Tagged with monads quantum-mechanics
9 questions
0
votes
1
answer
191
views
What is the measures monad for FDHilb?
I am labouring under a particular assumption that, perhaps, needs to be corrected. I believe that FDHilb, the category of Finite Dimensional Hilbert spaces and general linear maps is a category of ...
- 1,313
2
votes
0
answers
221
views
Quantum scattering experiments: C-modules, N-modules and their monads
I am working on a theory of particle physics where we use monads. I have a few conjectures that I need to check.
The category of $\mathbb{C}$-modules is monadic over set
The category of $\mathbb{N}$...
- 1,313
-2
votes
2
answers
299
views
Adjunctions between Groupoids and Hilbert spaces
I am interested in any adjunctions between any of the familiar categories of Groupoids and the category of finite dimensional Hilbert spaces. Do any exist? Are there any well know monads on the ...
- 1,313
1
vote
0
answers
42
views
Domain Monad on Density Operators Using Spectral Order
The spectral order for density operators is given in this paper Coecke Martin 2010. I won't give the full definition here. Essentially, it allows for a partial order of density matrices that forms a ...
- 1,313
6
votes
1
answer
606
views
What is the “free symmetric monoidal category” 2-monad?
I have come across an n-category cafe post where someone describes a monad that generates symmetric monoidal categories. Can someone give details, like what is the base category, what exactly is the ...
- 1,313
2
votes
0
answers
144
views
Multiset or Bag monad on Finite-Dimensional Hilbert Spaces
Edit: I will be happy if someone can get me the Bag monad on a 2-category of groupoids, regardless of any reference to Hilbert Spaces. (It's a fire sale!!)
I am trying to create the quantum ...
- 1,313
0
votes
0
answers
141
views
The MultiSet (Bag) Monad on FinHilb
It was recently brought to my attention that the Bag monad, also known as the MultiSet monad, is not polynomial on Set, but is Polynomial on the category of Groupoids, 3.10 Examples. I then started ...
- 1,313
1
vote
2
answers
433
views
The domain monad
$\DeclareMathOperator\Set{\mathit{Set}}\DeclareMathOperator\Dom{\mathit{Dom}}\DeclareMathOperator\Hilb{\mathit{Hilb}}$Many different kinds of data structures can be captured as Monads. Lists and ...
- 1,313
2
votes
0
answers
80
views
Is this Frobenius Monad left exact? Does it preserve equalizers?
In this paper we see a Frobenius Monad in example 5.2. Suppose we take Hilb as the underlying category. Is this functor left exact? Does it preserve equalizers?
- 1,313