Algebras of normalization are normal produoidals

Last updated Feb 3, 2024

Tags: Unit of the normalization monad, Multiplication of the normalization monad, produoidal normalization.