Monoids and promonoids

Last updated Oct 7, 2024

Tags: double category, monoid.