Promonads and String Diagrams for Effectful Categories

被引：1

作者：

Roman, Mario ^{[1
]}

机构：

[1] Tallinn Univ Technol, Tallinn, Estonia

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2023年 / 380期

关键词：

BICATEGORIES; NOTIONS; MONADS;

D O I：

10.4204/EPTCS.380.20

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：344 / 361

页数：18