English

Quantale-valued maps and partial maps

Category Theory 2025-05-14 v2

Abstract

Let Q\mathsf{Q} be a commutative and unital quantale. By a Q\mathsf{Q}-map we mean a left adjoint in the quantaloid of sets and Q\mathsf{Q}-relations, and by a partial Q\mathsf{Q}-map we refer to a Kleisli morphism with respect to the maybe monad on the category Q-Map\mathsf{Q}\text{-}\mathbf{Map} of sets and Q\mathsf{Q}-maps. It is shown that every Q\mathsf{Q}-map is symmetric if and only if Q\mathsf{Q} is weakly lean, and that every Q\mathsf{Q}-map is exactly a map in Set\mathbf{Set} if and only Q\mathsf{Q} is lean. Moreover, assuming the axiom of choice, it is shown that the category of sets and partial Q\mathsf{Q}-maps is monadic over Q-Map\mathsf{Q}\text{-}\mathbf{Map}.

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