Scifaro

中文

从三元组视角看模态逻辑中的对偶性

逻辑 2013-02-25 v1

作者: Dirk Hofmann , Pedro Nora

在 arXiv 上查看 ↗ PDF ↗

摘要

本文展示了如何利用单子理论以统一的方式推导出若干对偶定理，这些定理一侧涉及关系范畴，另一侧涉及代数范畴，其同态仅保持部分运算。此外，我们研究了笛卡尔积在关系侧诱导的幺半群结构，并证明在某些情况下，代数侧相应的运算表示双态射。

关键词

模态逻辑对偶定理单子关系范畴代数范畴幺半群结构双态射

引用

@article{arxiv.1302.5609,
  title  = {Dualities in modal logic from the point of view of triples},
  author = {Dirk Hofmann and Pedro Nora},
  journal= {arXiv preprint arXiv:1302.5609},
  year   = {2013}
}