arrow category - monoidal arrow category arrow category - funny tensor arrow category - freyd monoid References. Universal Algebra and Effectful Computation (Rajesh, 2023)
