Abstract
The category Rel of sets and relations intimately ties the notions of function, partial multivalued function, and direct image under a function through the description of Rel as the Kleisli category of the covariant power set functor on Set. We present a suitable framework to obtain a similar relationship between the concepts of functor, partial multivalued functor, and the direct image under a functor.
Original language | English |
---|---|
Title of host publication | 2015 2nd Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2015 |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
Pages | 60-65 |
ISBN (Electronic) | 9781509007134 |
DOIs | |
Publication status | Published - 20 May 2016 |
Event | 2nd Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2015 - Nadi, Fiji Duration: 2 Dec 2015 → 4 Dec 2015 |
Conference
Conference | 2nd Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2015 |
---|---|
Country/Territory | Fiji |
City | Nadi |
Period | 2/12/15 → 4/12/15 |
Keywords
- Eilenberg-Moore category
- Kleisli category
- Manes monad
- multivalued function
- multivalued functor
- partial function
- partial functor
- partial multivalued function
- partial multivalued functor
- power-category