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.

### Like this:

Like Loading...

*Related*

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

FcdintoDig.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.