commuting tensor of effectful categories

Last updated Mar 28, 2024

commuting-tensor-of-effectful-categories

PD: Matt points out that there is an equation missing for the inclusion of the base category.