论文标题
一类表面包裹的图
A Category of Surface-Embedded Graphs
论文作者
论文摘要
我们介绍了一种用于重写表面包裹的图形的分类形式主义。这样的图可以在非对称设置中表示字符串图，我们可以保证电线不会相互互相相交。主要的技术新颖性是在图表上重写双重俯卧撑重写的新表述，可明确记录重写的边界。使用此边界结构，我们可以使用旋转系统增强这些图，从而使表面拓扑结合起来。
We introduce a categorical formalism for rewriting surface-embedded graphs. Such graphs can represent string diagrams in a non-symmetric setting where we guarantee that the wires do not intersect each other. The main technical novelty is a new formulation of double pushout rewriting on graphs which explicitly records the boundary of the rewrite. Using this boundary structure we can augment these graphs with a rotation system, allowing the surface topology to be incorporated.
