相关性是超特殊交换Frobenius幺半群的支柱

Brandon Coya和Brendan Fong

正如集合之间的二元关系可以理解为联合一元关系一样集的不相交并上的等价关系也可以是被理解为共同的史诗宇宙。随着接下来的组成概念继承自cospans的推出，我们称这些等价关系相关关系.我们定义了有限设置并证明它等价于extraspecial的prop交换Frobenius幺半群。双重地，我们表明关系等价于特殊可交换双单子体的性质。在整个过程中，我们强调了核心关系是如何建模互连的。

关键词：相关，额外定律，Frobenius幺半群，prop，prop

2010年硕士：18C10、18D10

范畴理论与应用， 2017年第32卷，第11号，第380-395页。

发布日期：2017-02-27。

http://www.tac.mta.ca/tac/volumes/32/11/32-11.pdf