funny tensor of the arrow category

Last updated Aug 28, 2024

See also.

• arrow category
• Sesquifunctors and the funny tensor product

References.

• Universal Algebra and Effectful Computation (Rajesh, 2023)