中文

关系范畴的分类学

范畴论 2026-05-13 v5 计算机科学中的逻辑

摘要

研究抽象关系结构属性的范畴已历经多年发展,形成丰富且多样化的文献体系。本文旨在提供这些“关系范畴”的现代呈现,包括其增强版本,进一步展示它们如何作为对称单元单子范畴的克莱斯利范畴而产生。所得出的分类学旨在为文献中众多相关概念和框架带来清晰与组织。

关键词

引用

@article{arxiv.2502.10323,
  title  = {A taxonomy of categories for relations},
  author = {Cipriano Junior Cioffo and Fabio Gadducci and Davide Trotta},
  journal= {arXiv preprint arXiv:2502.10323},
  year   = {2026}
}

备注

Accepted for publication in Logical Methods in Computer Science