Crucial error in my definition of product funcoids

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.

One comment

Leave a Reply to Anonymous Cancel reply