Skip to content
November 25, 2013 / porton

Wiki to prove that certain categories are cartesian closed

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.



Leave a Comment
  1. porton / Nov 26 2013 08:47
  2. porton / Nov 26 2013 09:37

    Reducing to the fact that Dig is cartesian closed was shown not to work. Can the proof idea be salvaged?

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: