A Categorical Approach to the Extension of Social Choice Functions

Are we interested in choice functions or function for choice? Was it my choice or did I choose? In the end it is all about sorts and operators, terms as given by the term monad over the appropriate category, and variable substitutions as morphisms in the Kleisli category of that particular term monad.

• Type: Journal
• Year: 2010
• Where: IPMU
• Authors: Patrik Eklund, Mario Fedrizzi, Hannu Nurmi
• Keywords: Choice Functions, Information Technology, IPMU 2010, Particular Term Monad, Term Monad