An ordered framework for partial multivalued functors

Alveen Chand, Ittay Weiss

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publication2015 2nd Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages60-65
ISBN (Electronic)9781509007134
DOIs
Publication statusPublished - 20 May 2016
Event2nd Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2015 - Nadi, Fiji
Duration: 2 Dec 20154 Dec 2015

Conference

Conference2nd Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2015
Country/TerritoryFiji
CityNadi
Period2/12/154/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

Fingerprint

Dive into the research topics of 'An ordered framework for partial multivalued functors'. Together they form a unique fingerprint.

Cite this