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