.png){kind=icon}
返回
Quantale-valued maps and partial maps
.png){kind=icon}
PRE
AI
DOI：10.1016/j.fss.2025.109441.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
设 Q 为一个交换且带单位元的量子格。Q-映射指的是量子格上的集合与 Q-关系范畴中的左伴随，而部分 Q-映射则是指关于 maybe 单子作用在集合与 Q-映射的范畴 Q-Map 上的 Kleisli 态射。结果表明，每个 Q-映射都是对称的当且仅当 Q 是弱瘦的，且每个 Q-映射恰好是集合论中的映射当且仅当 Q 是瘦的。此外，假设选择公理成立，可以证明集合与部分 Q-映射的范畴是关于 Q-Map 的单子范畴。
Keyword:
Category theory
Quantale
Quantaloid
Q-map
Partial Q-map
期刊
IF:
2.7
论文数:
7.6K
被引数:
1.5W
机构
暂无机构信息
引用论文
.png){kind=icon}
查看更多内容