Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 2 of 2
I have proved that category of continuous maps between endofuncoids is cartesian closed. See this draft article.
It is yet a rough draft. If anyone understand the notation introduced in my book please help to check for errors.
So I have fulfilled the requirement to present that my category is cartesian closed and now (maybe after some more error checking) I can post fragments of my theory on nLab wiki, yes?
Well, sorry, there are yet errors in my proof.
1 to 2 of 2