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
相关论文
共 50 条
  • [31] String links with the same closure and group diagrams
    Prado Pires de Campos, Jose Eduardo
    BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2017, 24 (02) : 161 - 174
  • [32] Curved String topology and Tangential Fukaya Categories
    Pomerleano, Daniel
    STRING-MATH 2011, 2012, 85 : 409 - 422
  • [33] String Diagrams for Free Monads (Functional Pearl)
    Pirog, Maciej
    Wu, Nicolas
    ACM SIGPLAN NOTICES, 2016, 51 (09) : 490 - 501
  • [34] Bialgebraic foundations for the operational semantics of string diagrams
    Bonchi, Filippo
    Piedeleu, Robin
    Sobocinski, Pawel
    Zanasi, Fabio
    INFORMATION AND COMPUTATION, 2021, 281
  • [35] Counting Good Bit String Arc Diagrams
    Lockhart, Jody
    AMERICAN MATHEMATICAL MONTHLY, 2010, 117 (02): : 187 - 187
  • [36] String Diagrams for Regular Logic (Extended Abstract)
    Fong, Brendan
    Spivak, David I.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (323): : 196 - 229
  • [37] SIMPLE STRING DIAGRAMS AND N-SESQUICATEGORIES
    Araujo, Manuel
    THEORY AND APPLICATIONS OF CATEGORIES, 2022, 38 : 1284 - 1325
  • [38] Disintegration and Bayesian inversion via string diagrams
    Cho, Kenta
    Jacobs, Bart
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2019, 29 (07) : 938 - 971
  • [39] Quantum Linear Optics via String Diagrams
    de Felice, Giovanni
    Coecke, Bob
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 394 : 83 - 100
  • [40] Summing planar diagrams for string and gauge theories
    Thorn, CB
    NUCLEAR PHYSICS B-PROCEEDINGS SUPPLEMENTS, 2002, 108 : 123 - 129
12345