commuting tensor of effectful categoriesLast updated Mar 28, 2024PD: Matt points out that there is an equation missing for the inclusion of the base category.Tags: effectful categories effectful category An effectful category is an identity-on-objects functor πβCπ β βVβC from a monoidal category ππV (representing the pure morphisms, or... 1/9/2025 .