An ordered framework for partial multivalued functors
Category Theory
2015-11-04 v1
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.
Cite
@article{arxiv.1511.00746,
title = {An ordered framework for partial multivalued functors},
author = {Alveen Chand and Ittay Weiss},
journal= {arXiv preprint arXiv:1511.00746},
year = {2015}
}
Comments
Accepted for presentation at the Asia-Pacific World Congress on Computer Science and Engineering 2015, Fiji