论文标题
有效类别的前瞻性和弦图
Promonads and String Diagrams for Effectful Categories
论文作者
论文摘要
前结肠和弗雷德类别都被非 - 弗雷德类别概括：有效的类别。我们根据具有自由添加的对象的单型类别的字符串图来构造有效类别的字符串图。我们表明，有效的类别是具有合适张量产物的前叶叶酸植物生物体中的假单胞体。
Premonoidal and Freyd categories are both generalized by non-cartesian Freyd categories: effectful categories. We construct string diagrams for effectful categories in terms of the string diagrams for a monoidal category with a freely added object. We show that effectful categories are pseudomonoids in a monoidal bicategory of promonads with a suitable tensor product.
