Monoids and promonoids

Last updated Apr 23, 2024

Tags: double category, monoid.