.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
本文展示了Day张量积可以以一种直接的方式推广到范畴上的其他代数结构和偏代数结构。这种推广的动机源于其在逻辑学中的应用，例如在混合逻辑和分离逻辑中。我们使用拟范畴来描述Day张量积，证明其定义可以推广为将范畴上的任意代数结构扩展为函子范畴上的伪代数结构。我们提供了进一步的两种推广。首先，我们考虑范畴上某些操作为偏操作的情况；其次，我们证明在函子范畴上得到的操作具有伴随（它们是剩余的）。
Keyword:
Day convolution
separation logic
hybrid logic
linear temporal logic
profunctors
期刊
M
IF:
0.9
论文数:
33
被引数:
0
机构
引用论文
暂无论文信息