两个范畴的故事：归纳群胚与交叉联络
范畴论
2021-09-14 v3
摘要
群胚是一种所有态射均为同构的小范畴。归纳群胚是一种特殊的群胚，其对象集为正则双序集且态射允许偏序。正规范畴是一种特殊的小范畴，其对象集为严格预序且态射允许分解性质。一对“相关”的正规范畴构成交叉联络。Nambooripad \cite{mem,cross} 将归纳群胚与交叉联络均识别为正则半群的范畴模型。我们探究了这些看似不同的范畴结构之间的相互关系，并证明了归纳群胚范畴与交叉联络范畴之间的直接范畴等价。
引用
@article{arxiv.1901.05731,
title = {A Tale of Two Categories: Inductive groupoids and Cross-connections},
author = {P. A. Azeef Muhammed and Mikhail V. Volkov},
journal= {arXiv preprint arXiv:1901.05731},
year = {2021}
}