Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
Multiplication of the normalization monad
Multiplication of the normalization monad
Jul 24, 2025
1 min read
Tags:
produoidal normalization
.
Graph View
Backlinks
Algebras of normalization are normal produoidals
Normalization of a produoidal