funny tensor of the arrow categoryLast updated Feb 3, 2024Arrow categorySesquifunctors and the funny tensor product