arrow category - freyd monoid
See also:
arrow category - funny tensor
See also.
arrow category
Sesquifunctors and the funny tensor product
References.
Universal Algebra and Effectful Computation (Rajesh, 2023).md)...
.funny tensor of the arrow category