arrow category

Last updated Aug 28, 2024

• arrow category - monoidal arrow category
• arrow category - funny tensor
• arrow category - freyd monoid

References.

• Universal Algebra and Effectful Computation (Rajesh, 2023)