arrow category is monoidal

Last updated Aug 28, 2024

References.

• Universal Algebra and Effectful Computation (Rajesh, 2023)