Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
388 views

The category of Multisets and Spans: morphism composition and tensor product

I have been thinking about multisets for a while. These are sets where elements can repeat, so $S =\{ a,a,b,c,b\}$ is a multiset on the set $A = \{a,b,c\}$. I have also been looking into morphisms ...
Ben Sprott's user avatar
  • 1,313
21 votes
5 answers
2k views

What is the "correct" category of multisets

During seminar the other day, when speaking about subobject classifiers, I asked if the subobject classifier for the category of multisets would have integer truth values, corresponding to the number ...
B. Bischof's user avatar
  • 4,842