📚 Recommended Mathematics Books
Topology (Munkres) | General Topology (Engelking) | Counterexamples in Topology | Rudin's AnalysisAs an Amazon associate, I earn from qualifying purchases.
I have announced that I have proved that Category of continuous maps between endofuncoids is cartesian closed. This was a fake alarm, my proof was with a crucial error.
Now I have put the problem and some ideas how to prove it in a wiki.
So I announce a new project akin to Polymath Project. Please participate in solving my open problem.
🔬 Advanced Mathematics References
- Sheaves in Geometry and Logic
- Categories for the Working Mathematician
- Stone Spaces
- Algebraic Topology (Hatcher)
- Concrete Mathematics
As an Amazon associate I refer fromm qualifying purchases.
In http://portonmath.tiddlyspace.com/#%5B%5BReducing%20to%20the%20fact%20that%20Dig%20is%20cartesian%20closed%5D%5D I’ve corrected an error in the definition of embedding Fcd into Dig.
Reducing to the fact that Dig is cartesian closed was shown not to work. Can the proof idea be salvaged?
I showed that the naive approach to prove that Fcd is cartesian closed using sets instead of arguments of functions fails.