Skip to main content

All Questions

5 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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}$...
Ben Sprott's user avatar
  • 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 ...
Ben Sprott's user avatar
  • 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?
Ben Sprott's user avatar
  • 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 ...
Ben Sprott's user avatar
  • 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 ...
Ben Sprott's user avatar
  • 1,313