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. © Springer-Verlag Berlin Heidelberg 2010.
CITATION STYLE
Eklund, P., Fedrizzi, M., & Nurmi, H. (2010). A categorical approach to the extension of social choice functions. In Communications in Computer and Information Science (Vol. 81 PART 2, pp. 261–270). https://doi.org/10.1007/978-3-642-14058-7_26
Mendeley helps you to discover research relevant for your work.