Mario Román ; Paweł Sobociński - String Diagrams for Premonoidal Categories

lmcs:13384 - Logical Methods in Computer Science, April 29, 2025, Volume 21, Issue 2 - https://doi.org/10.46298/lmcs-21(2:9)2025
String Diagrams for Premonoidal CategoriesArticle

Authors: Mario Román ; Paweł Sobociński

    Premonoidal categories are monoidal categories without the interchange law while effectful categories are premonoidal categories with a chosen monoidal subcategory of interchanging morphisms. In the same sense that string diagrams, pioneered by Joyal and Street, are an internal language for monoidal categories, we show that string diagrams with an added "runtime object", pioneered by Alan Jeffrey, are an internal language for effectful categories and can be used as string diagrams for effectful, premonoidal, and Freyd categories.


    Volume: Volume 21, Issue 2
    Published on: April 29, 2025
    Accepted on: February 28, 2025
    Submitted on: April 10, 2024
    Keywords: Mathematics - Category Theory,18M30

    Consultation statistics

    This page has been seen 271 times.
    This article's PDF has been downloaded 147 times.