Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.628065
Title: Developing a representation of simple voting games within category theory
Author: Terrington, Simon
Awarding Body: King's College London (University of London)
Current Institution: King's College London (University of London)
Date of Award: 2012
Availability of Full Text:
Access from EThOS:
Access from Institution:
Abstract:
Simple voting games (SVGs) are mathematical idealisations of decision-making by a council or board for example the EU Council of Ministers or the UN Security Council. -- The theory of SVGs includes structure-preserving mappings. Until now, these have not been organised in a category. -- We start in the most natural way, with the objects of the category being SVGs conceived as sets of sets of voters and arrows being isomorphisms, bloc formation and inclusion maps. -- An alternative category, or sequence of categories, of SVGs, is simple to define. Co is the category with two objects and a single non-identity arrow between them. Cn+i is the arrows category of Cn. Encouragingly, the category-theoretic duals, products and coproducts correspond to duals, meets (products) and joins (coproducts) in SVGs. This category is a partial order. We develop a new notation for SVGs and have almost immediate proof of substantial results, for example the construction of the constant-sum extension of a game and the fact that the Banzaf-Penrose measure for a bloc of two voters is equal to the sum of the Banzaf-Penrose measures for the two voters. -- The Cn are also lattices. We can find the bipartitions as a sublat-tice which is also Boolean algebra. -- Lattice homomorphisms between the Cn correspond to structure-preserving mappings of SVGs. We can build another category with these. -- We also have a bijective mapping between SVGs and ordered pairs of a simplicial complex and its Alexander dual. This connects the theory of SVGs with topology.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.628065  DOI: Not available
Share: