内禀关系微积分中丰富特征与2-可分离性
范畴论
2026-02-10 v2
摘要
本文旨在进一步发展针对正规Ord范畴C的(内部)关系微积分。为捕捉正规Ord范畴的丰富特征并获得良好的微积分，本文所使用的关系恰为C中的理想。我们随后聚焦于1维代数2-可分离性（亦称Mal'tsev性）的丰富化版本及其通过普通关系性质所表达的众所周知等价表征。我们引入Ord-Mal'tsev范畴的概念，并展示这些范畴可通过针对理想所adapted的丰富化性质进行表征。任何对1维Mal'tsev范畴进行Ord-丰富化的结果必为Ord-Mal'tsev范畴。我们亦给出一些非Mal'tsev范畴但为Ord-Mal'tsev范畴的例子。
引用
@article{arxiv.2406.10624,
title = {Enriched aspects of calculus of relations and $2$-permutability},
author = {Maria Manuel Clementino and Diana Rodelo},
journal= {arXiv preprint arXiv:2406.10624},
year = {2026}
}