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