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 commutative monoid monad (aka Bag, multiset monad). On the one hand, quantum containers are interesting for quantum computing. I have my own reasons for looking for this and they are based in theoretical physics. To this end, I would like to define a 2-category which has the following properties:
- It's objects are groupoids
- To place it in the realm of the quantum, I am wondering if it's objects can be finite dimensional Hilbert spaces, with unitary transformations as morphisms, making each object a groupoid. If you have an idea similar to this, that actually works, it would be most appreciated.
- Since I would like the objects to be something like Hilbert spaces, I would then constrain the morphisms to be maps between Hilbert spaces. I am afraid I do not know how to constrain the morphisms. If that leaves this question unanswerable, then so be it. If you can see how to constrain the morphisms, to achieve the goal of supporting the proposed monad, please answer.
- It admits a polynomial monad that is the Bag or Multiset or "Free Commutative Monoid" monad.
Can someone define the category and also this polynomial monad?
One could see Jeffery Morton's comment here:
He is talking about this paper, and his comment contains the following statement:
Since C⊗sn≅C, this is just a sum of a bunch of 1-dimensional spaces, each of which describes an n-particle system, which again has only one state. The only thing to say about this state is that it has n particles in it. Jamie’s original paper explains this by means of a monad on Hilb, which is essentially the “free commutative monoid” monad: the Fock space is the free commutative monoid on C. This fact gives a bunch of special maps, including a bialgebra structure on the Fock space, and the raising and lowering operators can be constructed out of this. The commutation relations are a consequence of that.