.png){kind=icon}
Return
Quantale-valued maps and partial maps
.png){kind=icon}
PRE
AI
DOI：10.1016/j.fss.2025.109441.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Let Q be a commutative and unital quantale. By a Q-map we mean a left adjoint in the quantaloid of sets and Q-relations, and by a partial Q-map we refer to a Kleisli morphism with respect to the maybe monad on the category Q-Map of sets and Q-maps. It is shown that every Q-map is symmetric if and only if Q is weakly lean, and that every Q-map is exactly a map in Set if and only Q is lean. Moreover, assuming the axiom of choice, it is shown that the category of sets and partial Q-maps is monadic over Q-Map.
Keywords:
Category theory
Quantale
Quantaloid
Q-map
Partial Q-map
Journal
IF:
2.7
Papers:
7.6K
Citations:
1.5W
Organization
No organization information available
Cited Papers
.png){kind=icon}
ShareSaveShareSaveShareSave
ShareSave
ShareSaveShareSaveShareSaveShareSave
View more