It is argued that when morphisms are ignored virtually all coalitional, strategic and extensive game formats as currently employed in the extant game-theoretic literature may be presented in a fairly natural way as (concrete categories over) discrete subcategories of Chu(Set,2). Moreover, under...

A voting protocol is said to be strongly β-participatory if for any voter i and any strategy profile either the outcome is i′s preferred one or i has a sincere strategy which would ensure her a better outcome, and VNM-strategy-proof if at any preference profile the set of sincere strategies...