关系范畴的分类学
范畴论
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