That proof which I claimed in this blog post is with an error: I have messed product of objects and product of morphisms.

Now I desperately attempt to repair the proof.

One Response

Leave a Reply

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