An ordered framework for partial multivalued functors

Alveen Chand; Ittay Weiss

doi:10.1109/APWCCSE.2015.7476217

An ordered framework for partial multivalued functors

Alveen Chand, Ittay Weiss

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 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	https://doi.org/10.1109/APWCCSE.2015.7476217
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

Access to Document

10.1109/APWCCSE.2015.7476217

http://www.proceedings.com/30454.html

Cite this

@inproceedings{91fad08ffa864385ace009deddc7df31,

title = "An ordered framework for partial multivalued functors",

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.",

keywords = "Eilenberg-Moore category, Kleisli category, Manes monad, multivalued function, multivalued functor, partial function, partial functor, partial multivalued function, partial multivalued functor, power-category",

author = "Alveen Chand and Ittay Weiss",

note = "Post-print is unavailable.; 2nd Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2015 ; Conference date: 02-12-2015 Through 04-12-2015",

year = "2016",

month = may,

day = "20",

doi = "10.1109/APWCCSE.2015.7476217",

language = "English",

pages = "60--65",

booktitle = "2015 2nd Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2015",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

address = "United States",

}

Chand, A & Weiss, I 2016, An ordered framework for partial multivalued functors. in 2015 2nd Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2015. Institute of Electrical and Electronics Engineers Inc., pp. 60-65, 2nd Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2015, Nadi, Fiji, 2/12/15. https://doi.org/10.1109/APWCCSE.2015.7476217

TY - GEN

T1 - An ordered framework for partial multivalued functors

AU - Chand, Alveen

AU - Weiss, Ittay

N1 - Post-print is unavailable.

PY - 2016/5/20

Y1 - 2016/5/20

N2 - 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.

AB - 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.

KW - Eilenberg-Moore category

KW - Kleisli category

KW - Manes monad

KW - multivalued function

KW - multivalued functor

KW - partial function

KW - partial functor

KW - partial multivalued function

KW - partial multivalued functor

KW - power-category

UR - http://www.scopus.com/inward/record.url?scp=84973861136&partnerID=8YFLogxK

U2 - 10.1109/APWCCSE.2015.7476217

DO - 10.1109/APWCCSE.2015.7476217

M3 - Conference contribution

AN - SCOPUS:84973861136

SP - 60

EP - 65

BT - 2015 2nd Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2015

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2nd Asia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2015

Y2 - 2 December 2015 through 4 December 2015

ER -

An ordered framework for partial multivalued functors

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this