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


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
An error with category theory
Replies:
1
Last Post:
Sep 7, 2013 4:20 PM




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?



