Change search
ReferencesLink to record
Permanent link

Direct link
A categorical approach to the extension of social choice functions
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2010 (English)In: Information processing and management of uncertainty in knowledge-based systems: applications, pt II / [ed] Hüllermeier, Eyke, Kruse, Rudolf, Hoffmann, Frank, Springer, 2010, 261-270 p.Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer, 2010. 261-270 p.
, Communications in Computer and Information Science, ISSN 1865-0929 ; 81
Keyword [en]
Choice function, monad, Kleisli category, substitution
National Category
Computer Science
URN: urn:nbn:se:umu:diva-109031ISI: 000290642600026ISBN: 978-3-642-14057-0OAI: diva2:857345
13th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, JUN 28-JUL 02, 2010, Dortmund, GERMANY
Available from: 2015-09-28 Created: 2015-09-17 Last updated: 2015-09-28Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Eklund, Patrik
By organisation
Department of Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 11 hits
ReferencesLink to record
Permanent link

Direct link