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 Response

Leave a Reply

Your email address will not be published. Required fields are marked *