范畴网络理论中的Grothendieck构造
摘要：构建与网络构建推理相适应的指定和构建操作的灵活框架的论文 用于呈现这些操作的数据被称为强调{网络模型}，它是Joyal的组合物种的单调变体。 为了构建操作，我们需要开发Grothendieck构造的单调提升。 然后，我们演示了如何在这个框架中表示优先级和依赖关系。 对于前者，我们将Green的群图乘积推广到了普遍代数的背景下。 对于后者，我们主要探究了Petri网中催化剂的存在导致了单调纤维化的出现。
作者：Joe Moeller
论文ID：2101.07777
分类：Category Theory
分类简称：math.CT
提交时间：2021-01-20