  Motivated by appearance of multisemigroups in the study of additive
$2$-categories, we define and investigate the notion of a multisemigroup with
multiplicities. This notion seems to be better suitable for applications in
higher representation theory.
