摘要
AFP条目将catoid形式化，这些catoid是单集类别和群胚。更具体地说，在catoids中，类别中箭头的部分组成概括为多操作，将元素对发送到元素集，和箭头组合的定义条件--两个箭头可以只有当且仅当第一个目标与源匹配时才合成第二种是放松的。超越基本定律库范畴、单集范畴和群类，我将事实形式化每一个catoid都可以提升到一个模态功率集量子数每个群胚都可以提升到Dedekind量子数和功率集关系代数，Jónsson和塔斯基。最后，我证明了单集类别等价于基于对象集的范畴标准公理化和一组箭头，并将catoid与相关结构进行比较例如多幺半群和关系幺半群（幺半群中的幺半群类别Rel）。
许可证
话题
相关出版物
- Cranch，J.、Doherty，S.和Struth，G.（2020年）。卷积和并发（版本1）。arXiv公司。https://doi.org/10.48550/ARXIV.2002.02321
- Calk，C.、Fahrenberg，U.、Johansen，C.、Struth，G.和Ziemiański，K.（2021）$$\ell r$$-多半群，模态量子数和局部性的起源。计算机科学课堂讲稿，90-107。https://doi.org/10.1007/978-3-030-88701-8_6
- Fahrenberg，U.、Johansen，C.、Struth，G.和Zimiaáski，K.（2023）。Catoid和模态卷积代数。《普遍代数》，84（2）。https://doi.org/10.1007/s00012-023-00805-9
- Calk，C.、Malbos，P.、Pous，D.和Struth，G.（2023年）。高等类星体、高等量子数及其对应（版本2）。arXiv公司。https://doi.org/10.48550/ARXIV.2307.09253
会话Catoid