For the general construction in the case of joint failure, see these tensor for bimonoidal categories. Note that there are two structures, detailed in “Par has both either or both”. Tags: partial function.
