initial multiproducts code
fixed refactor to bifunctionAsBiQuiver()