Mario Román

Search

Search IconIcon to open search

Central product of promonads

Last updated May 3, 2023

central-product-of-promonads

Tags: Promonad, Effectful category, Pure tensor of promonads