论文标题
标记的Cospan类别和Poherads
Labelled cospan categories and properads
论文作者
论文摘要
我们证明了Steinebrunner对（彩色）适当和标记的Cospan类别之间的双人间的猜想。这项工作的主要部分是建立一个猜想的1类，严格的版本，表明PoserAds的类别通过对称的单层构造函数等于严格的标记Cospan类别类别。
We prove Steinebrunner's conjecture on the biequivalence between (colored) properads and labelled cospan categories. The main part of the work is to establish a 1-categorical, strict version of the conjecture, showing that the category of properads is equivalent to a category of strict labelled cospan categories via the symmetric monoidal envelope functor.
