nLab
MultiSet

$\mathrm{MultiSet}$ is the category of multisets.

References

• Mathematics of Multisets, Apostolos Syropoulos

• Categorical Models of Multisets, Apostolos Syropoulos

category: category