Quantale-valued maps and partial maps
Category Theory
2025-05-14 v2
Abstract
Let be a commutative and unital quantale. By a -map we mean a left adjoint in the quantaloid of sets and -relations, and by a partial -map we refer to a Kleisli morphism with respect to the maybe monad on the category of sets and -maps. It is shown that every -map is symmetric if and only if is weakly lean, and that every -map is exactly a map in if and only is lean. Moreover, assuming the axiom of choice, it is shown that the category of sets and partial -maps is monadic over .
Keywords
Cite
@article{arxiv.2408.00393,
title = {Quantale-valued maps and partial maps},
author = {Lili Shen and Xiaoye Tang},
journal= {arXiv preprint arXiv:2408.00393},
year = {2025}
}
Comments
20 pages, final version