Algebras of normalization are normal produoidals

Last updated Sep 8, 2023

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