I have noticed a crucial error in the article with my definition of product funcoids (I confused the direction of an implication).
Thus it is yet not proved that my “product” is really a categorical product.
The same applies to my definition of coproduct.
I’ve corrected the error in the article. Now the article is process of rewriting. I will announce it later.