Normal produoidal categories are the profunctorial analogue of normal duoidal categories. Produoidal normalization is analogue to duoidal normalization.
See also.
- Unit of the normalization monad
- Multiplication of the normalization monad
- Algebras of normalization are normal produoidals
Proof.
Tags: produoidal category, duoidal normalization, Monoidal contexts, Symmetric normalization of a produoidal.