The banana-split algebra is a product in the category RAlg.