范畴网络理论中的 Grothendieck 构造

在本论文中，我们提出一个灵活的框架，用于指定和构造适用于网络构造推理的 operad。用于呈现这些 operad 的数据称为\emph{网络模型}，即 Joyal 组合物种的单子变体。operad 的构造要求我们发展 Grothendieck 构造的一个单子提升。随后我们演示了优先级与依赖等概念如何在该框架中表示。对于前者，我们将 Green 的群图积推广到泛代数语境。对于后者，我们考察 Petri 网中催化剂存在所引发的单子纤维化之涌现。