Monoids on the arrow category

Last updated Oct 4, 2022

Tags: Monoids and comonoids, Arrow category