Unit of the normalization monad
Tags:
Produoidal functor
Tags: produoidal category....
Normal produoidal categories are the profunctorial analogue of normal duoidal categories.
Produoidal normalization is analogue to duoidal normalization.
See also.
Unit of...
,
produoidal normalizationProduoidal functor
Normalization of a produoidal