Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



An error with category theory
Posted:
Sep 7, 2013 4:08 PM


I have proved the following theorem:
The category of continuous maps between endofuncoids (a new kind of objects described in my book) has all products.
It is proved in my draft article:
http://www.mathematics21.org/binaries/product.pdf
But http://nlab.mathforge.org/nlab/show/complete+small+category says that
If (in some universe U) a small category D has products of families of objects whose size is at least that of its set of morphisms, then D is a preorder.
But my category clearly isn't a preorder.
Where is my error?



