{"id":"arxiv/2606.05218","url":"https://arxiv.org/abs/2606.05218","tags":["math.GM"],"score":0,"title":"Counting Votes with Multisets","domain":"math.GM","source":"arxiv","authors":["Bart Jacobs","Michael Johnson","Richard Buckland"],"reviews":0,"subject":"math.GM","summary":"A multiset is a 'set' in which elements may occur multiple times. These structures are ideal for expressing the outcome of an election, for instance of the form 60 'yes' and 40 'no'. Moreover, multisets are a useful datatype in vote counting algorithms. This will be illustrated in three different forms of vote counting, known as: 'instant-runoff', 'De Borda', and 'single transferrable vote'. The relevant abstract properties of multisets are: (1) they form a (free) commutative monoid, and (2) they form a functor, and (3) also a monad. This paper illustrates how such categorical properties can…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-29","reactions":{}}