[论文解读] Corelations are the prop for extraspecial commutative Frobenius monoids

Brandon Coya, Brendan Fong|arXiv (Cornell University)|Jan 11, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 21

一句话总结

本文证明了在有限集的不相交并集上定义的等价关系（即核心射）的范畴，与额外特殊交换弗罗贝尼乌斯幺半群的prop等价。通过将核心射建模为联合本质的余射，并在propositional范畴中使用余等化器构造，作者表明额外公理由对非连通分量进行商化自然产生，从而完成了有限集上广义射（关系）与余射（核心射）之间的对偶性。

ABSTRACT

Just as binary relations between sets may be understood as jointly monic spans, so too may equivalence relations on the disjoint union of sets be understood as jointly epic cospans. With the ensuing notion of composition inherited from the pushout of cospans, we call these equivalence relations \emph{corelations}. We define the category of corelations between finite sets and prove that it is equivalent to the prop for extraspecial commutative Frobenius monoids. Dually, we show that the category of relations is equivalent to the prop for special commutative bimonoids. Throughout, we emphasise how corelations model interconnection.

研究动机与目标

• 将核心射形式化为有限集范畴中联合本质余射的同构类。
• 证明核心射构成的对称单峰范畴与额外特殊交换弗罗贝尼乌斯幺半群的prop等价。
• 通过范畴商化构造阐明弗罗贝尼乌斯幺半群中“额外公理”的起源。
• 完成广义射（关系）与余射（核心射）之间的对偶性，类比于双交换双分次幺半群与弗罗贝尼乌斯幺半群之间的对偶性。

提出的方法

• 将核心射建模为不相交并集 X + Y 上的等价关系，以联合本质余射表示。
• 通过等价类的传递闭包定义核心射的复合，随后限制到定义域与陪域。
• 以有限集上的余射范畴为起点，通过余等化器图式构造核心射为商。
• 证明额外公理由将广义射的余限制与非连通分量识别而自然产生。
• 利用Lack的结果：有限集上的余射构成特殊交换弗罗贝尼乌斯幺半群的prop。
• 通过证明额外特殊交换弗罗贝尼乌斯幺半群的prop与核心射范畴均为同一类图式的同构图式的余等化器，完成主定理的证明。

实验结果

研究问题

• RQ1 如何将有限集之间的核心射正式表征为范畴结构？
• RQ2 核心射范畴所捕获的精确代数结构是什么？
• RQ3 为何在互连语境中，‘额外公理’——即单位与余单位复合为恒等映射——会自然出现？
• RQ4 广义射（关系）与余射（核心射）之间的对偶性如何完整呈现对称单峰范畴中互连的代数图景？
• RQ5 额外公理能否作为特殊弗罗贝尼乌斯结构的商化范畴推导得出？

主要发现

• 有限集之间核心射的范畴，作为对称单峰范畴，与额外特殊交换弗罗贝尼乌斯幺半群的prop等价。
• 弗罗贝尼乌斯幺半群中的额外公理由范畴商化自然产生，该商化将非连通分量识别，形式化了‘仅连通性重要’的直觉。
• 通过propositional范畴的余等化器构造核心射，提供了一种清晰且概念化的额外公理推导方式，与句法或归纳证明形成鲜明对比。
• 额外特殊交换弗罗贝尼乌斯幺半群的蜘蛛定理是直接推论：两个态射相等当且仅当它们诱导相同的核心射。
• 广义射（关系）与余射（核心射）之间的对偶性得以完成：广义射生成双交换双分次幺半群，而余射生成额外特殊交换弗罗贝尼乌斯幺半群。
• 通过余等化器的证明方法提供了一般化框架，可推广至线性关系及适当范畴上的线性时不变系统。