图形组合学与模操作的分配律
摘要：模块化操作的组合分析的详细分析被提到在这个工作中。这些是类似操作的结构，除了具有操作乘法外，它们还允许收缩操作。它们的组合方法由允许循环的图控制，并以其复杂性而闻名。 2011年，Joyal和Kock引入了一种强大的用于模块化操作的图形形式。本文扩展了该工作。构建了一个模块化操作的单子和相应的神经定理，使用Weber的抽象神经理论，在Joyal和Kock最初陈述的术语中进行了证明。这是通过使用掷物规律实现的，这为模块化操作的组合学提供了新的视角。
作者：Sophie Raynor
论文ID：1911.05914
分类：Category Theory
分类简称：math.CT
提交时间：2022-10-12