Mario Román

Search

Search IconIcon to open search

Central product of promonads

Last updated May 3, 2024

central-product-of-promonads

Tags: promonad, effectful category, Pure tensor of promonads