Monoids on the arrow category

Last updated Oct 7, 2024

Tags: monoid, arrow category