Promonoids from monoids

Last updated Oct 4, 2022

Tags: Promonoid, Monoids and comonoids