Let us provide a second version in terms of commutative diagrams.
- almost-distributive law
- monoidal distributive sesquilaw
- kleisli of a monoidal sesquilaw is commutative
Tags: normalization, distributive law, almost distributive law.
Let us provide a second version in terms of commutative diagrams.
Tags: normalization, distributive law, almost distributive law.