These product is the second tensor product, having the same definition on objects. Both tensors arise from different tricocycloid structures. References. Mentioned in Classical Distributive Restriction Categories (Cockett, Lemay, 2023). Tags: partial function.
