String Diagrams for Premonoidal Categories

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…