See also. arrow category Sesquifunctors and the funny tensor product References. Universal Algebra and Effectful Computation (Rajesh, 2023)
