Comment by turnersr

Do you know of any interesting natural ismorphism between the categories you define in your paper and the category of finite-dimensional hilbert spaces? Curious if you have thought about applications to categorical quantum mechanics.