A Coalgebraic Approach To Type Spaces.

Ignacio D. Viglizzo


When two or more players are engaged in a game with uncertainties, they need to consider
what the other players’ beliefs may be, which in turn are influenced by what they think the first player’s
ideas are. Harsanyi defined type spaces simply as a set in which all possible players-as defined by their
beliefs- could be found. Later on, more meaningful constructions of this set were performed.
The theory of coalgebra, on the other hand, has been created to deal with circular phenomena, so
its application to the problem of type spaces is only natural. We show how to apply it and we use the
more general framework of category theory to compare the relative strength of previous solutions to the
problem of defining type spaces.

Full Text:


Asociación Argentina de Mecánica Computacional
Güemes 3450
S3000GLN Santa Fe, Argentina
Phone: 54-342-4511594 / 4511595 Int. 1006
Fax: 54-342-4511169
E-mail: amca(at)santafe-conicet.gov.ar
ISSN 2591-3522