Mario Román

Search

Search IconIcon to open search

Unit of the normalization monad

Last updated Sep 8, 2023

unit-of-the-normalization-monad

Tags: Produoidal functor, produoidal normalization