Mario Román

Search

Unit of the normalization monad

Last updated Feb 3, 2024

unit-of-the-normalization-monad

Tags: Produoidal functor, produoidal normalization

Mario Román, CC BY-SA 2024.

Home
ArXiv
Github