Mario Román

Search

Search IconIcon to open search

Produoidal algebra of monoidal contexts

Last updated Sep 8, 2023

produoidal-algebra-of-monoidal-contexts

Tags: Produoidal category, produoidal normalization