余关系(corelation)是额外特殊交换Frobenius幺半群的prop
范畴论
2017-03-30 v2
摘要
正如集合间的二元关系可理解为联合单的span（jointly monic spans），不交并集合上的等价关系也可理解为联合满的cospan（jointly epic cospans）。借助从cospan的推出继承的伴随组合概念，我们将这些等价关系称为余关系(corelation)。我们定义了有限集间余关系的范畴，并证明它等价于额外特殊交换Frobenius幺半群的prop。对偶地，我们展示关系范畴等价于特殊交换双幺半群（special commutative bimonoids）的prop。自始至终，我们强调余关系如何为互连建模。
引用
@article{arxiv.1601.02307,
title = {Corelations are the prop for extraspecial commutative Frobenius monoids},
author = {Brandon Coya and Brendan Fong},
journal= {arXiv preprint arXiv:1601.02307},
year = {2017}
}
备注
15 pages