I’ve discovered a new kind of product of funcoids, which I call subatomic product.
Definition Let and are funcoids. Then (subatomic product) is a funcoid such that for every ,
This (subatomic) composition has the merit that for funcoids and the destination of product is is the same as for categorical product in the category .
See This online draft article for details. There it is also proved that subatomic product exists.